Back to Results
First PageMeta Content
Automated theorem proving / Year of birth missing / Logic in computer science / Logic programming / Prolog / Planner / Keith Clark / Model elimination / Logic / Software engineering / Computing / Computer programming


Document Date: 2006-07-10 08:57:10

Open Document

File Size: 699,24 KB

Share Result on Facebook

City

Springer-Verlag / Plenum / Stockholm / Washington / D.C. / Edinbirgh / Amsterdam / Marseille / Marseilles / Rocquencourt / Jablonna / New York / Washington / DC / Luminy / Lisbon / London / Wiley / Edinburgh / /

Company

McDermott / American Express / AddisonWesley Publishing Company / Edinburgh University Press / UPS / Bayer / Interbank / Elsevier North Holland Inc. / Ed. Edinburgh University Press / ACM Press / Mastercard / /

Country

Hungary / Netherlands / France / Portugal / United Kingdom / Scotland / Sweden / Poland / /

Currency

USD / /

Event

Person Travel / Person Communication and Meetings / /

Facility

Imperial College of Science / Stanford University / Imperial College / Queen Mary College / University of Edinburgh / University of London / At Imperial College / University of Montreal / University of Aberdeen / University of Essex / /

IndustryTerm

heuristic search / depth-first search strategy / list processing / resolution systems / search strategy / natural language processing / large natural language processing system / /

OperatingSystem

Aix / /

Organization

Univ. of Montreal / University of Aberdeen / Imperial College of Science and Technology / North Atlantic Treaty Organization / Universite d’Aix Marseilles / Czechoslovak Academy of Sciences / Univ. of Edinburgh / Machine Intelligence / University of Edinburgh / University of London / Queen Mary College / University of Essex / University of Montreal / Imperial College in London / Stanford University / Internafional Symposium and Summer School on Mathematical Foundations of Computer Science / /

Person

Robert Boyer / Oliver / Alan Bundy / Steve Isard / Bernard Meltzer / Fernando Pereira / Prolog / Pat Hayes / Jean Trudel / Frank Brown / Bob Pasero / Ed Wilson / Bob Welham / Robert Ashenhurst / Bob Boyer / Phillipe Roussel / David Luckham / Carl Hewitt / John McCarthy / David Warren / Robert Hill / Terry Winograd / Simon Rabin Scott Backus / Maarten van Emden / Ted Elcock / Keith Clark / Jacqueline / Henri Kanoui / Alan Robinson / Luis Moniz Pereira / Susan Graham / Alain Colmerauer / Boyd / Donald Loveland / ROBERT A. KOWALSKI / /

/

Position

computer scientist / Anthology Series editor / General / head / pure Planner / structure sharing Author / AND PLANNER / Planner / programming language Planner / programmer / Queen / interpreter / model / C. PLANNER / /

Product

Order DepartI / /

ProgrammingLanguage

Lisp / L / /

ProvinceOrState

Quebec / New York / /

PublishedMedium

Communications of the ACM / /

Region

North Holland / /

SportsLeague

Stanford University / /

Technology

natural language processing / artificial intelligence / simulation / natural language processing system / /

SocialTag