The automation of reasoning with incomplete information : from semantic foundations to efficient computation
ShareCopied to clipboardThe automation of reasoning with incomplete information : from semantic foundations to efficient computation is a book. It was written by Torsten Schaub and published by : Springer in 1997.
Key facts
- author: Torsten Schaub
- publication date: 1997
- book publisher: : Springer
- book series: Lecture notes in computer science
- book subjects: Automatic theorem proving
See more factsExtract data
Download datasets about The automation of reasoning with incomplete information : from semantic foundations to efficient computation:
Dataset of books series that contain The automation of reasoning with incomplete information : from semantic foundations to efficient computation
"The automation of reasoning with incomplete information : from semantic foundations to efficient computation" is one of the books by Torsten Schaub, books by : Springer and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.