Handbook of logic in artificial intelligence and logic programming
We couldn't estimate the reading time for this book.
Contributions
- Gabbay, Dov M., 1945- - Contributor
- Hogger, Christopher John. - Contributor
- Robinson, J.A. - Contributor
Publication
1993 - Clarendon Press, Oxford, New York (State)
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL1720164M
- ISBN-10019853745X
- OCLC Control Number26300491
- OCLC Control Numberhandbooklogicart00gabb_334
- Library of Congress Control Number92023358
and 2 more
- Goodreads3179406
- LibraryThing8296899
Classifications
- DDC006.3/3
- LCCQA76.63 .H36 1993
Subjects
Topics
LogiqueHéritageIncertitudeInformatiqueLogique défautLogic programmingLogic programming.Théorie possibilitéProgrammation logiqueArtificial intelligenceArtificial intelligence.Intelligence artificielleRaisonnement non monotoneSymbolic and mathematical LogicLogic, symbolic and mathematicalLogic, Symbolic and mathematical.Logique symbolique et mathématique
Other Editions
- Handbook of logic in artificial intelligence and logic programming
Show 2 more editions
Similar Books
Introduction to mathematical logic
Elliott Mendelson.
Tractatus logico-philosophicus
Ludwig Wittgenstein ; translated by C.K. Ogden ; with an introduction by Bertrand Russell.
Meaning and Necessity: A Study in Semantics and Modal Logic (Midway Reprint)
Rudolf Carnap
Artificial Intelligence: A Modern Approach
Peter Norvig, Stuart J. Russell
Regulae ad directionem ingenii: règles pour la direction de l'esprit. Texte revu et traduit par Georges Le Roy
René Descartes
Philosophical remarks
Edited from his posthumous writings by Rush Rhees and translated into English by Raymond Hargreaves and Roger White.
Computability and logic
George Boolos, Richard Jeffrey.
How to prove it: a structured approach
Daniel J. Velleman.
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!