Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings Ebook (yecbook.shop)
Be the first to review “Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings Ebook (yecbook.shop)”
Related products
Ebook
$10.00
$10.00
Reviews
There are no reviews yet.