BooksMathematicsLogicComputersComputer scienceArtificial intelligence
Automated Theorem Proving: Theory and Practice
by Newborn, Monty
Product Details
Author
Newborn, Monty
Publisher
Springer
Published
2000
Pages
245
Binding
Hardcover
Edition
2001
ISBN
9780387950754
Language
English
Genre
Mathematics, Logic, Computers, Computer science, Artificial intelligence
Category
Books