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 Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics., und . PAAR@IJCAR, Volume 31 von EPiC Series in Computing, Seite 2-11. EasyChair, (2014)Modeling in OWL 2 without Restrictions., , und . OWLED, Volume 1080 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.. ICLP Workshop on Blackboard-Based Logic Programming, (1993)ATP Cross-Verification of the Mizar MPTP Challenge Problems., und . LPAR, Volume 4790 von Lecture Notes in Computer Science, Seite 546-560. Springer, (2007)The TPTP World - Infrastructure for Automated Reasoning.. LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2010)TPTP, TSTP, CASC, etc.. CSR, Volume 4649 von Lecture Notes in Computer Science, Seite 6-22. Springer, (2007)The CADE ATP System Competition., und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 490-491. Springer, (2004)The Semantically Guided Linear Deduction System.. CADE, Volume 607 von Lecture Notes in Computer Science, Seite 677-680. Springer, (1992)Progress in the Development of Automated Theorem Proving for Higher-Order Logic., , , und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 116-130. Springer, (2009)The CADE-16 ATP System Competition.. J. Autom. Reasoning, 24 (3): 371-396 (2000)