( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Opening the AC-Unification Race.

, , , , , , и . J. Autom. Reason., 4 (4): 465-474 (1988)

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.

Mark E Villiger

Mark E Secan

Mark E Biddle

Eberhard Stickel

Elisabeth Stickel

 

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

Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).. RTA, том 914 из Lecture Notes in Computer Science, стр. 101. Springer, (1995)A Prolog Technology Theorem Prover.. CADE, том 310 из Lecture Notes in Computer Science, стр. 752-753. Springer, (1988)Building Theorem Provers.. CADE, том 5663 из Lecture Notes in Computer Science, стр. 306-321. Springer, (2009)PTTP and Linked Inference.. Automated Reasoning: Essays in Honor of Woody Bledsoe, стр. 283-296. Kluwer Academic Publishers, (1991)A Hole in Goal Trees: Some Guidance from Resolution Theory., и . IJCAI, стр. 153-161. William Kaufmann, (1973)Abductive and Approximate Reasoning Models for Characterizing Inference Channels., , и . CSFW, стр. 118-126. IEEE Computer Society, (1991)Balance and Filtering in Structured Satisfiable Problems., , , , , и . IJCAI, стр. 351-358. Morgan Kaufmann, (2001)SRI's Tipster II Project., , , , , , , и . TIPSTER, стр. 201-208. (1996)Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.. J. Autom. Reason., 13 (2): 189-210 (1994)Automated Deduction by Theory Resolution.. J. Autom. Reason., 1 (4): 333-355 (1985)