booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Serenella Cerrito, Andrei Popescu · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2019
Publisher
Springer
Editions
1
Pages
498
ISBN
9783030290252

Data source: Wikidata