Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

IJCAI
2003

favoriteEmaildiscussreport

137views Artificial Intelligence» more IJCAI 2003»

Assertion Application in Theorem Proving and Proof Planning

13 years 5 months ago

Assertion Application in Theorem Proving and Proof Planning

Download monet.nag.co.uk

Quoc Bao Vo, Christoph Benzmüller, Serge Aute

Real-time Traffic

IJCAI 2003 | IJCAI 2007 |

claim paper

Related Content

» Asserting Bytecode Safety

» AssertionBased Analysis of Hybrid Systems with PVS

» ImpasseDriven Reasoning in Proof Planning

» A Combination of Nonstandard Analysis and Geometry Theorem Proving with Application to New...

» Applications of Polytypism in Theorem Proving

» Orthogonal Art Galleries with Holes A Coloring Proof of Aggarwals Theorem

» IsaPlanner A Prototype Proof Planner in Isabelle

» A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem

» Intelligent understanding of handwritten geometry theorem proving

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	IJCAI
Authors	Quoc Bao Vo, Christoph Benzmüller, Serge Autexier

Comments (0)