Starten Sie Ihre Suche...


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

Model elimination without contrapositives and its application to PTTP

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

Erscheinungsjahr: 1993

Publikationstyp: Buch

Sprache: Englisch

GeprüftBibliothek

Autoren

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

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik