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