Automated development of fundamental mathematical theories
ShareCopied to clipboardAutomated development of fundamental mathematical theories is a book. It was written by Art Quaife and published by Kluwer Academic in 1992.
Key facts
- author: Art Quaife
- publication date: 1992
- book publisher: Kluwer Academic
- book series: Automated reasoning series
- book subjects: Artificial intelligence, Automatic theorem proving
See more factsExtract data
Download datasets about Automated development of fundamental mathematical theories:
Dataset of books series that contain Automated development of fundamental mathematical theories
"Automated development of fundamental mathematical theories" is one of the books by Art Quaife, books by Kluwer Academic 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.