Automated Reasoning with Analytic Tableaux and Related MethodsHarrie de Swart

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart · 2003

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2003
שפה: English
הוצאה: Springer
מהדורות: 1
ISBN: 9783540697787

מקור הנתונים: Wikidata

עוד של 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