From post

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.

 

Другие публикации лиц с тем же именем

Structure and Control of the L-LILOG Inference System., , и . Sorts and Types in Artificial Intelligence, том 418 из Lecture Notes in Computer Science, стр. 165-182. Springer, (1989)Paramodulated Connection Graphs., и . Acta Inf., (1980)Matching under commutativity.. EUROSAM, том 72 из Lecture Notes in Computer Science, стр. 531-545. Springer, (1979)Universal Unification.. CADE, том 170 из Lecture Notes in Computer Science, стр. 1-42. Springer, (1984)Unification of Idempotent Functions., , , и . IJCAI, стр. 528. William Kaufmann, (1977)Einführung in die Künstliche Intelligenz.. KIFS, том 59 из Informatik-Fachberichte, стр. 1-60. Springer, (1982)On the Unification Hierarchy., и . GWAI, том 118 из Informatik-Fachberichte, стр. 111-117. Springer, (1985)Informatik und Intellektik als zukünftiges Zwiegespann., и . Künstliche Intell., 8 (1): 16-22 (1994)Unification Theory.. ECAI, стр. 365-400. North-Holland, (1986)History of AI in Germany and The Third Industrial Revolution.. KI, том 4314 из Lecture Notes in Computer Science, стр. 445. Springer, (2006)