Uli Sattler

Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
Uli Sattler · 2012
פרטי הספר
- שנה
- 2012
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783642313646
מקור הנתונים: Wikidata

Uli Sattler · 2012
מקור הנתונים: Wikidata