Check nearby libraries
Buy this book
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Automatic theorem provingEdition | Availability |
---|---|
1
The Automation of Reasoning With Incomplete Information: From Semantic Foundations to Efficient Computation (Lecture Notes in Artificial Intelligence)
January 15, 1998, Springer-Verlag Telos
Paperback
in English
3540645152 9783540645153
|
aaaa
|
2
The automation of reasoning with incomplete information: from semantic foundations to efficient computation
1997, Springer
in English
3540645152 9783540645153
|
zzzz
|
Book Details
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
February 1, 2010 | Edited by WorkBot | add more information to works |
December 9, 2009 | Created by WorkBot | add works page |