( en | de | ru )

 

Disambiguation of "Bibel, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
Logik, KI und Intellektik.

, and . Künstliche Intell., 6 (3): 91-94 (1992)

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.

Wolfgang Bibel

Hans Bibelriether

Theodor Bibel

Miriam Bibel

Theodor Bibel

 

Other publications of authors with the same name

Wissensbasierte Software-Entwicklung.. Wissensbasierte Systeme, volume 112 of Informatik-Fachberichte, page 17-41. Springer, (1985)Early History and Perspectives of Automated Deduction.. KI, volume 4667 of Lecture Notes in Computer Science, page 2-18. Springer, (2007)Methods of Automated Reasoning.. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 171-217. Springer, (1985)Prädikatives Programmieren.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 274-283. Springer, (1975)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)Time for Thinking Big in AI.. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 120-131. Springer, (2005)Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry.. Künstliche Intell., 7 (4): 49 (1993)Mating in Matrices.. GWAI, volume 47 of Informatik-Fachberichte, page 171-187. Springer, (1981)The Role of Logic for Data and Knowledge Bases: A Brief Summary., and . Foundations of Knowledge Base Management (Xania), page 3-22. Springer, (1985)