Automated Deduction -- CADE-24: 24th International Conference of Automated Deduction Lake Placid, NY 2013, Proceedings (LNAI 7898)

Heidelberg: Springer, 2013. Paperback. LNAI 7898. Softcover. Fine. 466 pp. Fine. Item #0083282
ISBN: 9783642385735

Price: $30.00

Add to Cart Ask a Question Add to Wish List
See all items in Computer Science
See all items by