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 Reasoning With Analytic Tableaux and Related Methods:
International Conference, Tableaux 97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings

by Didier Galmiche

ISBN 3540629203 / 9783540629207 / 3-540-62920-3
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $81.95
Find All Copies

 


› Find collectible copies of 'Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings'