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)

Verknüpfte Personen