Automated Theorem Proving: Theory and Practice, (Hardcover)

Name: Automated Theorem Proving: Theory and Practice, (Hardcover)
Brand: Monty Newborn
SKU: prod_9ada045d89a6ca7a942b5643
Price: 247.00 USD
Availability: InStock

Automated Theorem Proving: Theory and Practice, (Hardcover) Author: Springer ISBN: 9780387950754 Format: Hardcover Publication Date: 2000-12-15 Page Count: 231

Shipping & Returns

Price unavailable

Automated Theorem Proving: Theory and Practice, (Hardcover)—

$247.00

Price unavailable

Automated Theorem Proving: Theory and Practice, (Hardcover)—

$247.00