Uwe Egly
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly · 2002
פרטי הספר
- שנה
- 2002
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 2381
- הוצאה
- Springer-Verlag Berlin Heidelberg
- מהדורות
- 1
- ISBN
- 9783540456162
מקור הנתונים: Wikidata
