Podcast Listen to the Zubal brothers unload about things in the book trade that make them smile or give them the feelings that their heads may explode!Listen Now
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science)
Roy Dyckhoff
/ Springer 2000 441 pp., Paperback, ex library, else text clean & binding tight. Volumes
Included: 1