Starten Sie Ihre Suche...


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

Equality Reasoning with Equality-paths

Proceedings German Workshop on Artificial Intelligence. 1985

Erscheinungsjahr: 1985

Publikationstyp: Diverses

Sprache: Deutsch

Autoren

Bläsius, Karl Hans (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verknüpfte Personen

Karl Hans Bläsius

Beteiligte Einrichtungen

Logo Hochschule Trier