Author of the publication

Planning Diagonalization Proofs.

, and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 167-180. Springer, (1998)

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

<Omega>MEGA: Ein mathematisches Assistenzsystem., , and . Kognitionswissenschaft, 7 (3): 101-105 (1998)Knowledge-Based Proof Planning., and . Artif. Intell., 115 (1): 65-105 (1999)ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)Computergestützte Frühwarn- und Entwscheidungssysteme., and . Informatik Spektrum, 10 (1): 24-39 (1987)Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten., , , , , , , , and . Informatik Spektrum, 14 (4): 201-206 (1991)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)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)A short survey on the state of the art in matching and unification problems., , , and . ACM SIGSAM Bulletin, 13 (2): 14-20 (1979)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)