Suche
Kategorie
JGU Mainz (85497)
HS Trier (4051)
4051 Treffer
×
Hochschule Trier
- Vorgrimmler, K.; Gemmar, Peter
- Structural Programming of a Multiprocessor System
- International Association for Mathematics and Computer Simulation (Hrsg). Parallel Computers – Parallel Machines, M. Feilmeier. 1977 S. 191 - 195
- Eisinger, N.; Bläsius, Karl Hans
- The Markgraf Karl refutation procedure, (1979)
- Karlsruhe: Univ. 1979 13 S. (Interner Bericht ; 1979,31)
- Bläsius, Karl Hans
- Equality Reasoning in Clause Graphs
- Proceedings International Joint Conference on Artificial Intelligence. 1983
- 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 with Equality-paths
- Proceedings German Workshop on Artificial Intelligence. 1985
- Bläsius, Karl Hans
- Versus the "Anti Walz Effect" in Equality Reasoning
- Proceedings German Workshop on Artificial Intelligence. 1986
- Bläsius, Karl-Hans
- Construction of equality graphs
- Kaiserslautern: Fachb. Informatik, Univ. 1986 23 S. (Seki Report. SR ; 86,1)
- Bläsius, Karl Hans
- Equality reasoning based on graphs
- 1986 162 S.
- Bayer, T.; Bläsius, Karl Hans
- Regelgesteuerte Zeichenerkennung und Dokumentanalyse
- Proceedings der Tagung der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM). 1987
- Bläsius, Karl H.
- Deduktionssysteme : Automatisierung des logischen Denkens
- München [u.a.]: Oldenbourg 1987 0 S.