Jan Heering

Higher-order algebra, logic, and term rewriting
Jan Heering, Karl Meinke, Bernhard Moller · 1994
פרטי הספר
- שנה
- 1994
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 6
- עמודים
- 344
- ISBN
- 9783540582335
מקור הנתונים: Wikidata

Jan Heering, Karl Meinke, Bernhard Moller · 1994
מקור הנתונים: Wikidata