Marta Cialdea Mayer
Automated Reasoning with Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri · 2006
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540452065
מקור הנתונים: Wikidata
Marta Cialdea Mayer, Fiora Pirri · 2006
מקור הנתונים: Wikidata
