by Monty NewbornPaperback details (United States). details (UK). details (Germany). details (France).
ISBN: 978-1-4612-6519-1 ISBN-10: 1-4612-6519-3 Springer · 2013 |
See also: | ||
2000 | Hardcover | Automated Theorem Proving: Theory and Practice |