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

ISBN: 354067697X
Subject/Keywords:

Item #: 630302

$8.55

Add To Cart