Starten Sie Ihre Suche...


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

Partial Unification for Graph Based Equational Reasoning

Proceedings International Conference on Automated Deduction. 1988

Erscheinungsjahr: 1988

Publikationstyp: Diverses

Sprache: Deutsch

Autoren

Bläsius, Karl Hans (Autor)
Siekmann, J. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verknüpfte Personen

Karl Hans Bläsius

Beteiligte Einrichtungen

Logo Hochschule Trier