BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Automated Deduction - CADE-14:
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings

by W. McCune, J. G. Carbonell, J. Siekmann

ISBN 3540631046 / 9783540631040 / 3-540-63104-6
Publisher Springer
Country Germany
Language English
Edition Softcover
Find All Copies

 


› Find collectible copies of 'Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings'