Workshop "PTTP-basiertes Theorembeweisen"
Koblenz: Inst. für Informatik, Univ. 1993 0 S. (Fachberichte Informatik ; 7/93)
Erscheinungsjahr: 1993
Publikationstyp: Buch
Sprache: Deutsch
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Beteiligte Person)