(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
ibuks
MSRP:
Was:
Now:
$19.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 1st Edition International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
- SKU:
- UPC:
- Condition:
- New
!