(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings
(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings
ibuks
MSRP:
Was:
Now:
$24.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings
- SKU:
- UPC:
- Condition:
- New
!