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.

 

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

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus., и . AISC, том 2385 из Lecture Notes in Computer Science, стр. 319-331. Springer, (2002)A Framework for Agent-Based Brokering of Reasoning Services.. MICAI, том 2972 из Lecture Notes in Computer Science, стр. 212-221. Springer, (2004)Kindergeschichten aus den Schools for Life. Neue Sammlung, 45 (3): 441-451 (2005)MathServe: a framework for semantic reasoning services.. Saarland University, Germany, (2008)