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-15:
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings

by H. Kirchner, Claude Kirchner, International Conference on Automated Deduction 1998 Lindau Bavaria

ISBN 3540646752 / 9783540646754 / 3-540-64675-2
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $93.00
Find All Copies

 


› Find collectible copies of 'Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings'