Author of the publication

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich.

, and . Künstliche Intell., 34 (1): 109-116 (2020)

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

Logic and algebraic computation.. SIGSAM Bull., 18 (2): 26 (1984)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)Connection method., and . Scholarpedia, 4 (1): 6816 (2009)Methods of Automated Reasoning.. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 171-217. Springer, (1985)Early History and Perspectives of Automated Deduction.. KI, volume 4667 of Lecture Notes in Computer Science, page 2-18. Springer, (2007)Prädikatives Programmieren.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 274-283. Springer, (1975)General Aspects of Intelligent Autonomous Systems.. Intelligent Autonomous Systems, volume 275 of Studies in Computational Intelligence, Springer, (2010)