( en | de | ru )

 

Disambiguierung von "Sutcliffe, Geoff"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Large theory reasoning with SUMO at CASC.

, , , und . AI Commun., 23 (2-3): 137-144 (2010)

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.

Anke Sutcliffe

Geoff Cutts

Geoff Cox

Yoann Geoffroy

Stéphanie Geoffroy

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Theorem Proving: A Review.. AI Magazine, 23 (1): 121-122 (2002)Report on the Nineteenth International FLAIRS Conference.. AI Magazine, 27 (4): 111-112 (2006)The CADE-23 Automated Theorem Proving System Competition - CASC-23.. AI Commun., 25 (1): 49-63 (2012)Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.. ICLP Workshop on Blackboard-Based Logic Programming, (1993)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)Preface., , und . Int. J. Artif. Intell. Tools, 15 (1): 1-2 (2006)The TPTP Problem Library - CNF Release v1.2.1., und . J. Autom. Reason., 21 (2): 177-203 (1998)The CADE-16 ATP System Competition.. J. Autom. Reason., 24 (3): 371-396 (2000)The CADE-17 ATP System Competition.. J. Autom. Reason., 27 (3): 227-250 (2001)