Automatic theorem proving
ShareCopied to clipboardAutomatic theorem proving is a book subject. It includes 54 books, written by 48 different authors.
Key facts
- number of authors: 48 people
- number of books: 54
- books: A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia, A computational logic, A heuristic for case analysis
- authors: Jacques Fleuriot, Robert S. Boyer, Brigitte Pientka
- publication dates: 2001, 1979, 1995
- book publishers: : Springer, Academic Press, University of Edinburgh, Dept. of Artificial Intelligence
See more factsExtract data
Download datasets about Automatic theorem proving:
Dataset of books about Automatic theorem proving:
"Automatic theorem proving" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.