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 2000, st Andrews, Scotland, Uk, July 3-7, 2000 Proceedings

by Roy Dyckhoff, Tableaux 200 (2000 St. Andrews, Scotland)

ISBN 354067697X / 9783540676973 / 3-540-67697-X
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $84.95
Find All Copies

 


› Find collectible copies of 'Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 Proceedings'