Starten Sie Ihre Suche...


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

Consolution as a framework for comparing calculi

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

Erscheinungsjahr: 1992

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