Automated Reasoning Series, Automated Development of Fundamental Mathematical…
- Edition
- -
- ISBN/ISSN
- 0-7923-2021-2
- Collation
- x, 269 p. : 25 cm
- Series Title
- Automated reasoning series : v. 2
- Call Number
- 511.3 Qua a
- Edition
- -
- ISBN/ISSN
- 0-7923-2021-2
- Collation
- x, 269 p. : 25 cm
- Series Title
- Automated reasoning series : v. 2
- Call Number
- 511.3 Qua a
Search Result
Found 1 from your keywords: Subject : "Automatic theorem proving"
Query took 0.00084 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography