booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt, Cláudia Nalon · 2017

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
2017
Publisher
Springer
Editions
1
Pages
393
ISBN
9783319669014

Data source: Wikidata

More by Renate A. Schmidt

Automated Deduction – CADE-22
Renate A. Schmidt · 2009
Relations and Kleene Algebra in Computer Science
Renate A. Schmidt · 2006