Automated Reasoning and the Discovery of Missing and Elegant Proofs
Edition: CD-Rom edition
Publisher: Ave Maria Press
Published: December 2003
Language: eng
Format: Hardcover
Number of pages: 384
ISBN-13: 9781589490239
Subjects: Applied; Logic; Mathematics; Science/Mathematics