Prof. Dr. rer. nat. Karl Hans Bläsius
Informatik, Hochschule Trier
Schneidershof, 54293 Trier
- 0651/8103-344
Ergebnisse pro Seite:
10
Bläsius, Karl Hans
Equality Reasoning with Equality-pathsProceedings German Workshop on Artificial Intelligence. 1985
Bläsius, Karl Hans; Raph, Karl Mark G.
The Markgraf Karl Refutation Procedure („Karl Mark G. Raph“ ist Synonym für alle Mitarbeiter des Deduktionsprojektes)Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 1984
Bläsius, Karl Hans
Equality Reasoning in Clause GraphsProceedings International Joint Conference on Artificial Intelligence. 1983
Eisinger, N.; Bläsius, Karl Hans
The Markgraf Karl refutation procedure, (1979)Karlsruhe: Univ. 1979 13 S. (Interner Bericht ; 1979,31)