booktheque

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake, Josef Urban · 2023

איפה לקנות

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

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

פרטי הספר

שנה
2023
שפה
English
הוצאה
Springer
מהדורות
1
ISBN
9783031435126

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