Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Abductive and Approximate Reasoning Models for Characterizing Inference Channels., , und . CSFW, Seite 118-126. IEEE Computer Society, (1991)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)SRI's Tipster II Project., , , , , , , und . TIPSTER, Seite 201-208. (1996)Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).. RTA, Volume 914 von Lecture Notes in Computer Science, Seite 101. Springer, (1995)PTTP and Linked Inference.. Automated Reasoning: Essays in Honor of Woody Bledsoe, Seite 283-296. Kluwer Academic Publishers, (1991)Balance and Filtering in Structured Satisfiable Problems., , , , , und . IJCAI, Seite 351-358. Morgan Kaufmann, (2001)A Hole in Goal Trees: Some Guidance from Resolution Theory., und . IJCAI, Seite 153-161. William Kaufmann, (1973)A Prolog Technology Theorem Prover.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 752-753. Springer, (1988)Building Theorem Provers.. CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 306-321. Springer, (2009)