Automated Reasoning with Analytic Tableaux and Related MethodsHarrie de Swart

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart · 2003

Where to buy

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

Book details

Year: 2003
Language: English
Publisher: Springer
Editions: 1
ISBN: 9783540697787

Data source: Wikidata

More by Harrie de Swart

Philosophical and Mathematical LogicHarrie de Swart

Philosophical and Mathematical Logic

Harrie de Swart · 2018

Relational and Algebraic Methods in Computer ScienceHarrie de Swart

Relational and Algebraic Methods in Computer Science

Harrie de Swart · 2011

Theory and Applications of Relational Structures As Knowledge Instruments IIHarrie de Swart

Theory and Applications of Relational Structures As Knowledge Instruments II

Harrie de Swart · 2007

Theory and Applications of Relational Structures As Knowledge InstrumentsHarrie de Swart

Theory and Applications of Relational Structures As Knowledge Instruments

Harrie de Swart · 2004