User-adaptive proof explanation
Saarbrücken: universaar 2001 233 Seiten
Erscheinungsjahr: 2001
Publikationstyp: Diverses (Dissertation)
Sprache: Englisch
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
