Harrie de Swart 
Automated Reasoning with Analytic Tableaux and Related Methods [PDF ebook] 
International Conference, TABLEAUX’98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

Support
€92.28
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783540697787 ● Editor Harrie de Swart ● Publisher Springer Berlin Heidelberg ● Published 2003 ● Downloadable 3 times ● Currency EUR ● ID 6377125 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,523 Ebooks in this category