booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt, Cláudia Nalon · 2017

איפה לקנות

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

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

פרטי הספר

שנה
2017
הוצאה
Springer
מהדורות
1
עמודים
393
ISBN
9783319669014

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

עוד של Renate A. Schmidt