PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Suttner, Christian B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The CADE ATP System Competition.

, und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 490-491. Springer, (2004)

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.

Michaela Suttner University of Stuttgart

B. Schlecht

Max B. Schäfer

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Conclusions about the CADE-13 ATP System Competition., , und . J. Autom. Reasoning, 18 (2): 287-296 (1997)The CADE-15 ATP System Competition., und . J. Autom. Reasoning, 23 (1): 1-23 (1999)The TPTP Problem Library., , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 252-266. Springer, (1994)Optimal Multiprogramming Control for Parallel Computations., , und . Parallel Computer Architectures, Volume 732 von Lecture Notes in Computer Science, Seite 49-65. Springer, (1993)The CADE ATP System Competition., und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 490-491. Springer, (2004)The TPTP Problem Library - CNF Release v1.2.1., und . J. Autom. Reasoning, 21 (2): 177-203 (1998)SPS-Parallelism + SETHEO = SPTHEO.. J. Autom. Reasoning, 22 (4): 397-431 (1999)Evaluating general purpose automated theorem proving systems., und . Artif. Intell., 131 (1-2): 39-54 (2001)A Parallel Theorem Prover with Heuristic Work Distribution.. Dagstuhl Seminar on Parallelization in Inference Systems, Volume 590 von Lecture Notes in Computer Science, Seite 243-252. Springer, (1990)Project PARIS: Parallelisation of Inference Systems., und . Dagstuhl Seminar on Parallelization in Inference Systems, Volume 590 von Lecture Notes in Computer Science, Seite 363. Springer, (1990)10.1007/3-540-55425-4_18.