Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Workshop "PTTP-basiertes Theorembeweisen"

Koblenz: Inst. für Informatik, Univ. 1993 0 S. (Fachberichte Informatik ; 7/93)

Erscheinungsjahr: 1993

Publikationstyp: Buch

Sprache: Deutsch

GeprüftBibliothek

Autoren

Baumgartner, Peter (Beteiligte Person)