Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Knowledge-Based Proof Planning., and . Artif. Intell., 115 (1): 65-105 (1999)<Omega>MEGA: Ein mathematisches Assistenzsystem., , and . Kognitionswissenschaft, 7 (3): 101-105 (1998)ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)Unification theory., and . Handbook of Logic in Artificial Intelligence and Logic Programming (2), Oxford University Press, (1994)Opening the AC-Unification Race., , , , , , and . J. Autom. Reasoning, 4 (4): 465-474 (1988)Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten., , , , , , , , and . Informatik Spektrum, 14 (4): 201-206 (1991)Computergestützte Frühwarn- und Entwscheidungssysteme., and . Informatik Spektrum, 10 (1): 24-39 (1987)Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure., and . GWAI, volume 47 of Informatik-Fachberichte, page 199-200. Springer, (1981)Challenges in Search and Usage of Multi-media Learning Objects., , , , , and . Cognitive Systems, volume 4429 of Lecture Notes in Computer Science, page 36-44. Springer, (2005)Partial Unification for Graph Based Equational Reasoning., and . CADE, volume 310 of Lecture Notes in Computer Science, page 397-414. Springer, (1988)