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.

 

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

Matching under commutativity.. EUROSAM, том 72 из Lecture Notes in Computer Science, стр. 531-545. Springer, (1979)Paramodulated Connection Graphs., и . Acta Inf., (1980)Universal Unification.. CADE, том 170 из Lecture Notes in Computer Science, стр. 1-42. Springer, (1984)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)E-Unification based on Generalized Embedding., и . Math. Struct. Comput. Sci., 31 (8): 898-917 (2021)Resource-Adaptive Cognitive Processes., и . Resource-Adaptive Cognitive Processes, Springer, (2011)Computational Logic.. Computational Logic, том 9 из Handbook of the History of Logic, Elsevier, (2014)ActiveMath: An Intelligent Tutoring System for Mathematics., и . ICAISC, том 3070 из Lecture Notes in Computer Science, стр. 91-101. Springer, (2004)On the Unification Hierarchy., и . GWAI, том 118 из Informatik-Fachberichte, стр. 111-117. Springer, (1985)History of AI in Germany and The Third Industrial Revolution.. KI, том 4314 из Lecture Notes in Computer Science, стр. 445. Springer, (2006)