Automated Theorem Proving: Theory and Practice

Practice

by Monty Newborn

Hardcover

ISBN: 978-0-387-95075-4

ISBN-10: 0-387-95075-3

Springer · 2000

See also:
2013PaperbackAutomated Theorem Proving: Theory and Practice