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:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
