MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Gem Stapleton" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Reasoning with Constraint Diagrams
by Gem Stapleton — 2004 — School of Computing, Mathematical and Information Sciences
…Reasoning with Constraint Diagrams Gem Stapleton The Visual Modelling Group University of Brighton…
Cited by 7 (3 self) – Add To MetaCart

Generating proofs with spider diagrams using heuristics
by Jean Flower, Judith Masthoff, Gem Stapleton — 2004 — Proc Visual Languages and Computing
…Generating Proofs with Spider Diagrams Using Heuristics Jean Flower, Judith Masthoff and Gem…
Cited by 8 (5 self) – Add To MetaCart

Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams
by Jean Flower, Judith Masthoff, Gem Stapleton — 2004 — Proc. Diagrams 2004 LNAI 2980
… Flower, Judith Masthoff, and Gem Stapleton The Visual Modelling Group University of Brighton, Brighton…
Cited by 16 (8 self) – Add To MetaCart

What can spider diagrams say
by Gem Stapleton, John Howse, John Taylor, Simon Thompson, Visual Modelling Group — 2004 — Proc. 2004, LNAI 2980, pp 112–127
…What Can Spider Diagrams Say? Gem Stapleton 1 , John Howse 1 , John Taylor 1 , and Simon Thompson…
Cited by 9 (6 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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