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-19 ATP System Competition.

, und . AI Commun., 17 (3): 103-110 (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)Evaluating general purpose automated theorem proving systems., und . Artif. Intell., 131 (1-2): 39-54 (2001)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)The CADE ATP System Competition., und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 490-491. Springer, (2004)The CADE-19 ATP System Competition., und . AI Commun., 17 (3): 103-110 (2004)The IJCAR ATP System Competition., , und . J. Autom. Reasoning, 28 (3): 307-320 (2002)