Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings Ebook (kenbook.shop)

$10.00

Category: Ebook Tag: kenbook.shop

Description
Reviews (0)

Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings Ebook (kenbook.shop)

Reviews

There are no reviews yet.

Be the first to review “Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings Ebook (kenbook.shop)” Cancel reply