Starten Sie Ihre Suche...


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

A unified approach to theory reasoning

Koblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)

Erscheinungsjahr: 1992

Publikationstyp: Buch

Sprache: Englisch

GeprüftBibliothek

Autoren

Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)
Petermann, Uwe (Autor)

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik