( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Wissensverarbeitung: Eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure

, , и . Spektrum, Heidelberg, 2 издание, (2007)

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.

Rolf Socher

Heinrich Socher

Karin Socher

Michaela Socher

Wolfgang Socher

 

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

A Subsumption Algorithm Based on Characteristic Matrices.. CADE, том 310 из Lecture Notes in Computer Science, стр. 573-581. Springer, (1988)Wissensverarbeitung: Eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure, , и . Spektrum, Heidelberg, 2 издание, (2007)Wissensverarbeitung, , и . Spektrum Akademischer Verlag, 2., Aufl. издание, (2007)On the Relation Between Resolution Based and Completion Based Theorem Proving.. J. Symb. Comput., 11 (1/2): 129-147 (1991)Detecting Redundancy Caused by Congruent Links in Clause Graphs.. GWAI, том 216 из Informatik-Fachberichte, стр. 74-82. Springer, (1989)Boolean Algebra Admits No Convergent Term Rewriting System.. RTA, том 488 из Lecture Notes in Computer Science, стр. 264-274. Springer, (1991)Unification in Order-Sorted Logic With Term Declarations.. LPAR, том 698 из Lecture Notes in Computer Science, стр. 301-308. Springer, (1993)Reducing the Derivation of Redundant Clauses in Reasoning Systems.. IJCAI, стр. 401-406. Morgan Kaufmann, (1989)A Goal Oriented Strategy Based on Completion.. ALP, том 632 из Lecture Notes in Computer Science, стр. 435-445. Springer, (1992)On the Unnecessity of Multiple Overlaps in Completion Theorem Proving., и . GWAI, том 181 из Informatik-Fachberichte, стр. 169-178. Springer, (1988)