Automated Theorem Proving: Theory and Practice

Practice

by Monty Newborn

Paperback

ISBN: 978-1-4612-6519-1

ISBN-10: 1-4612-6519-3

Springer · 2013

See also:
2000HardcoverAutomated Theorem Proving: Theory and Practice