Prof. Dr. rer. nat. Karl Hans Bläsius
Informatik, Hochschule Trier
- 0651/8103-344
Bläsius, Karl Hans; Siekmann, J.
Partial Unification for Graph Based Equational ReasoningProceedings International Conference on Automated Deduction. 1988
Bläsius, Karl Hans; Hedtstück, U.
Resolution with Feature GraphsE. Börger, H. Kleine Büning, M.M. Richter (Hrsg). CSL ’87. Proceedings 1st Workshop on Computer Science Logic. Springer Verlag 1988
Bläsius, Karl Hans
Allgemeine Gleichheitsverfahren. (General Equality Procedures.)Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
Bläsius, Karl Hans; Ohlbach, H.J.
Das Problem der Gleichheit. (The Equality Problem.)Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
Bläsius, Karl H.
Deduktionssysteme : Automatisierung des logischen DenkensMünchen [u.a.]: Oldenbourg 1987 0 S.
Bayer, T.; Bläsius, Karl Hans
Regelgesteuerte Zeichenerkennung und DokumentanalyseProceedings der Tagung der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM). 1987
Bläsius, Karl-Hans
Construction of equality graphsKaiserslautern: Fachb. Informatik, Univ. 1986 23 S. (Seki Report. SR ; 86,1)
Bläsius, Karl Hans
Equality reasoning based on graphs1986 162 S.
Bläsius, Karl Hans
Versus the "Anti Walz Effect" in Equality ReasoningProceedings German Workshop on Artificial Intelligence. 1986
Siekmann, Jörg H.; Bläsius, Karl Hans
Computergestützte Frühwarn- und Entscheidungssysteme1985 S. 90 - 96