Norwood / Timberline / Dordrecht / New York / Ithaca / San Mateo / London / Edinburgh / /
Company
IBM / D. Reidel Publishing Co. / Cambridge University Press / MIT Press / Methuen and Co. / Barnes and Noble / SRI International / Oxford University Press / JAI Press / SIAM Journal / Intelligent Reactive Systems / Harvard University Press / Cornell University Press / Macmillan / Edinburgh University Press / /
Country
Netherlands / /
Facility
Prentice Hall / Annotated Bibliography Ernest Davis∗ New York University / /
Organization
Bibliography Ernest Davis∗ New York University New York / Cambridge University / Harvard University / National Science Foundation / MIT / Brooklyn College / Cornell University / Machine Intelligence / Oxford University / NYU / /
Person
Joseph Halpern / John Geanakoplos / Kurt Konolige / Yoram Moses / Raymond Smullyan / Richard Montague / Nils Nilsson / John McCarthy / Saul Kripke / Jon Barwise / Robert Moore / Alan M. Frisch / Benjamin Jowett / Hector Levesque / Fangzhen Lin / Michael Genesereth / Richard B. Scherl / Moshe Vardi / Gilbert Ryle / Beth Allen / Leora Morgenstern / Jerry L. Morgan / Haim Gaifman / Daniel Dennett / John Perry / Ernest Davis / Andrew Haas / Morgan Kaufmann / Leslie P. Kaelbling / Adam Grove / Stanley Rosenschein / Don Perlis / Yoav Shoham / Benson Mates / Alfred Tarski / Donald Perlis / Philip Cohen / Hans Kamp / Ronald Fagin / Sarit Kraus / Jennifer Elgot-Drapkin / Nicholas Asher / Rohit Parikh / L.D. Zuck / H. Paul Grice / Peter Cole / Bertrand Russell / Hans Herzberger / David Kaplan / John Etchemendy / Cynthia Dwork / Patrick Hayes / Christophe Geissler / Madhura Nirkhe / Anil Gupta / Gary Hendrix / R. Ramanujam / /
Position
General / author / Non-linear planner / /
ProvinceOrState
New Jersey / Oregon / New York / California / Massachusetts / /
PublishedMedium
the Theory of Computing / Journal of Philosophy / Journal of Economic Theory / SIAM Journal on Computing / /