An edition of Automated Theorem Proving (2000)
Automated Theorem Proving
Theory and Practice
By Monty Newborn
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
December 15, 2000
Publisher
Springer
Language
eng
Pages
238
Description:
subjects: Automatic theorem proving