PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sutcliffe, Geoff"

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.

Keine Personen gefunden für den Autorennamen Sutcliffe, Geoff
Eine Person hinzufügen mit dem Namen Sutcliffe, Geoff
 

Weitere Publikationen von Autoren mit dem selben Namen

The CADE-23 Automated Theorem Proving System Competition - CASC-23.. AI Commun., 25 (1): 49-63 (2012)Preface., , und . International Journal on Artificial Intelligence Tools, 15 (1): 1-2 (2006)Evaluating general purpose automated theorem proving systems., und . Artif. Intell., 131 (1-2): 39-54 (2001)Compulsory Reduction in Linear Derivation Systems.. Artif. Intell., 50 (1): 131-132 (1991)Report on the Nineteenth International FLAIRS Conference.. AI Magazine, 27 (4): 111-112 (2006)Automated Theorem Proving: A Review.. AI Magazine, 23 (1): 121-122 (2002)The CADE-16 ATP System Competition.. J. Autom. Reasoning, 24 (3): 371-396 (2000)The TPTP Problem Library - CNF Release v1.2.1., und . J. Autom. Reasoning, 21 (2): 177-203 (1998)The CADE-17 ATP System Competition.. J. Autom. Reasoning, 27 (3): 227-250 (2001)Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.. ICLP Workshop on Blackboard-Based Logic Programming, (1993)