Hans Jürgen Ohlbach

Design Patterns für mathematische Beweise
Hans Jürgen Ohlbach, Norbert Eisinger · 2017
פרטי הספר
- שנה
- 2017
- הוצאה
- Springer Vieweg
- מהדורות
- 1
- עמודים
- 184
- ISBN
- 9783662556511
מקור הנתונים: Wikidata

Hans Jürgen Ohlbach, Norbert Eisinger · 2017
מקור הנתונים: Wikidata