( en | de | ru )

 

Disambiguierung von "McCune, William"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logic Machine Architecture: Kernel Funtions.

, , und . CADE, Volume 138 von Lecture Notes in Computer Science, Seite 70-84. Springer, (1982)

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.

William Döhrmann

William Herz

William Cahill

William Jorns

William Fisch

 

Weitere Publikationen von Autoren mit dem selben Namen

Paths to High-Performance Automated Theorem Proving., , , und . CADE, Volume 230 von Lecture Notes in Computer Science, Seite 588-597. Springer, (1986)Experiments in Automated Deduction with Condensed Detachment., und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 209-223. Springer, (1992)Challenge Equality Problems in Lattice Theory.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 704-709. Springer, (1988)OTTER 3.3 Reference Manual. CoRR, (2003)Direct finite first-order model generation with negative constraint propagation heuristic., , , und . SAC, Seite 25-29. ACM, (1997)Experiments with ROO: A Parallel Automated Deduction System., und . Dagstuhl Seminar on Parallelization in Inference Systems, Volume 590 von Lecture Notes in Computer Science, Seite 139-162. Springer, (1990)Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi.. J. Autom. Reason., 9 (1): 1-24 (1992)Automated Reasoning about Elementary Point-Set Topology., und . J. Autom. Reason., 5 (2): 239-255 (1989)Semantic Paramodulation for Horn Sets., und . IJCAI, Seite 902-908. William Kaufmann, (1983)A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic., und . J. Autom. Reason., 3 (1): 91-107 (1987)