( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PTTP and Linked Inference.

. Automated Reasoning: Essays in Honor of Woody Bledsoe, стр. 283-296. Kluwer Academic Publishers, (1991)

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

Elisabeth Stickel

Gerhard Stickel

 

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

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)PTTP and Linked Inference.. Automated Reasoning: Essays in Honor of Woody Bledsoe, стр. 283-296. Kluwer Academic Publishers, (1991)Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).. RTA, том 914 из Lecture Notes in Computer Science, стр. 101. Springer, (1995)Balance and Filtering in Structured Satisfiable Problems., , , , , и . IJCAI, стр. 351-358. Morgan Kaufmann, (2001)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)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)SRI's Tipster II Project., , , , , , , и . TIPSTER, стр. 201-208. (1996)