Mikroplanungstechniken zur Präsentation mathematischer Beweise
Saarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.
Erscheinungsjahr: 1996
Publikationstyp: Diverses (Prüfungsarbeit)
Sprache: Deutsch
| Geprüft | Bibliothek |
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
