Search Sciweavers | Sciweavers

1410 search results - page 16 / 282

» Proving theorems by reuse

click to vote

DIAGRAMS
2004
Springer

112views Artificial Intelligence» more DIAGRAMS 2004»

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

14 years 3 months ago

Download www.cmis.brighton.ac.uk

An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...

Jean Flower, Judith Masthoff, Gem Stapleton

claim paper

Read More »

click to vote

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

14 years 3 months ago

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

click to vote

CADE
2001
Springer

101views Logical Reasoning» more CADE 2001»

On the Evaluation of Indexing Techniques for Theorem Proving

14 years 2 months ago

Download www.mpi-inf.mpg.de

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre ...

claim paper

Read More »

click to vote

BIRTHDAY
2000
Springer

74views Applied Computing» more BIRTHDAY 2000»

Matrix-based Constructive Theorem Proving

14 years 2 months ago

Download www.nuprl.org

Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...

claim paper

Read More »

click to vote

CADE
1999
Springer

124views Logical Reasoning» more CADE 1999»

Fault-Tolerant Distributed Theorem Proving

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers