booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Serenella Cerrito, Andrei Popescu · 2019

איפה לקנות

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

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

פרטי הספר

שנה
2019
הוצאה
Springer
מהדורות
1
עמודים
498
ISBN
9783030290252

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