Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, Symbolic and mathematical Logic, Artificial intelligence, Informatique, Logique symbolique et mathématique, Héritage, Programmation logique, Logique défaut, Théorie possibilité, Incertitude, Raisonnement non monotone, Logique, Intelligence artificielle, Logic, symbolic and mathematicalShowing 8 featured editions. View all 8 editions?
Book Details
Table of Contents
v. 1. Logical foundations
v. 2. Deduction methodologies
v. 3. Nonmonotonic reasoning and uncertain reasoning
v. 4. Epistemic and temporal reasoning
v. 5. Logic programming.
Edition Notes
Includes bibliographical references and indexes.
Classifications
The Physical Object
ID Numbers
Source records
Promise ItemInternet Archive item record
OpenLibraries-Trent-MARCs record
Internet Archive item record
Talis record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Better World Books record
Better World Books record
Better World Books record
Better World Books record
Better World Books record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Promise Item
Promise Item
marc_nuls MARC record
marc_columbia MARC record
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 33 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 23, 2024 | Edited by MARC Bot | import existing book |
March 8, 2023 | Edited by MARC Bot | import existing book |
February 28, 2023 | Edited by ImportBot | import existing book |
February 28, 2023 | Edited by ImportBot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |