| SciPort RLP

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

Equality Reasoning in Clause Graphs

Proceedings International Joint Conference on Artificial Intelligence. 1983

Erscheinungsjahr: 1983

Publikationstyp: Diverses

Sprache: Deutsch

Autoren

Bläsius, Karl Hans (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verknüpfte Personen

Karl Hans Bläsius
Professor
(Informatik)

Beteiligte Einrichtungen

Hochschule Trier
(Hochschule Trier)