Serenella Cerrito

Automated Reasoning with Analytic Tableaux and Related Methods
Serenella Cerrito, Andrei Popescu · 2019
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 498
- ISBN
- 9783030290252
מקור הנתונים: Wikidata

Serenella Cerrito, Andrei Popescu · 2019
מקור הנתונים: Wikidata