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

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich., and . Künstliche Intell., 34 (1): 109-116 (2020)Fundamentals of artificial intelligence - an advanced course.. Springer study edition Springer, (1987)Wissensbasierte Software-Entwicklung.. Wissensbasierte Systeme, volume 112 of Informatik-Fachberichte, page 17-41. Springer, (1985)Matings in Matrices.. Commun. ACM, 26 (11): 844-852 (1983)Early History and Perspectives of Automated Deduction.. KI, volume 4667 of Lecture Notes in Computer Science, page 2-18. Springer, (2007)Connection method., and . Scholarpedia, 4 (1): 6816 (2009)General Aspects of Intelligent Autonomous Systems.. Intelligent Autonomous Systems, volume 275 of Studies in Computational Intelligence, Springer, (2010)Prädikatives Programmieren.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 274-283. Springer, (1975)Methods of Automated Reasoning.. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 171-217. Springer, (1985)Logic and algebraic computation.. SIGSAM Bull., 18 (2): 26 (1984)