Renate A. Schmidt

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, Cláudia Nalon · 2017
מקור הנתונים: Wikidata