Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings 1 Edition (PDF Instant Download)

Original price was: 149.99$.Current price is: 24.95$.

Up to 5% OFF Gifts

Discount Code: Save5

Guaranteed safe and secure checkout via:
Paypal | VISA | MASTERCARD.

Category: