MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Geoff Sutcliffe" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

45 documents found, showing 1 through 10. Next 10 →

ATOM

A Heterogeneous Parallel Deduction System
by Geoff Sutcliffe — 1992 — In Proc. FGCS'92 Workshop W3
…A Heterogeneous Parallel Deduction System Geoff Sutcliffe Dep't of Computer Science, Edith Cowan…
Cited by 11 (2 self) – Add To MetaCart

The Design and Implementation of a Compositional CompetitionCooperation Parallel ATP System
by Geoff Sutcliffe — 2001 — Proceedings of the 2nd International Workshop on the Implementation of Logics, number MPI-I-2001-2-006 in Max-Planck-Institut für Informatik, Research Report
…The Design and Implementation of a Compositional Competition-Cooperation Parallel ATP System Geoff…
Cited by 1 (0 self) – Add To MetaCart

The SZS Ontologies for Automated Reasoning Software
by Geoff Sutcliffe
…The SZS Ontologies for Automated Reasoning Software Geoff Sutcliffe University of Miami Abstract…
Add To MetaCart

Prolog-D-Linda v2 : A New Embedding of Linda in SICStus Prolog
by Geoff Sutcliffe — 1993 — Proc. Workshop on Blackboard-based Logic Programming
… Embedding of Linda in SICStus Prolog Geoff Sutcliffe Dep't of Computer Science, James Cook University…
Cited by 6 (0 self) – Add To MetaCart

Prolog-D-Linda: An Embedding of Linda in SICStus Prolog
by Geoff Sutcliffe — 1991 — In DeGroot D., Kacsuk P. , Succi G., Talia D. (Ed.), Proceedings of the Joint Workshop on Distributed and Parallel Implementation of Logic Programming Systems
…Prolog-D-Linda: An Embedding of Linda in SICStus Prolog Geoff Sutcliffe James Cook University…
Cited by 6 (1 self) – Add To MetaCart

ATool for Introducing Persistent Programming
by Lukito Nugroho, Geoff Sutcliffe
…1 ATool for Introducing Persistent Programming Lukito Nugroho Geoff Sutcliffe Department…
Add To MetaCart

System Description: GrAnDe 1.0
by Stephan Schulz, Geoff Sutcliffe — 2002
…, University of Miami geoff@(email omitted); 1 Introduction The validity problem for full rst-order logic is only…
Add To MetaCart

PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG
by Geoff Sutcliffe, James Pinakis — 1989
…PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG GEOFF SUTCLIFFE Department of Computer Science…
Cited by 4 (0 self) – Add To MetaCart

The Results of the CADE-13 ATP System Competition
by Geoff Sutcliffe, Christian Suttner — 1997 — Special Issue on the CADE-13 Automated Theorem Proving System Competition
…The Results of the CADE-13 ATP System Competition GEOFF SUTCLIFFE Department of Computer Science…
Cited by 6 (0 self) – Add To MetaCart

Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems
by Simon Colton, Geoff Sutcliffe — 2002 — In: Proceedings of the Seventh AI and Maths Symposium
… of Computer Science University of Miami, USA Email: geoff@(email omitted); Abstract Automated Theorem Proving…
Cited by 7 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB