Sciweavers

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

8

BIRTHDAY
2005
Springer

favoriteEmaildiscussreport

147views Applied Computing» more BIRTHDAY 2005»

Bridging Theorem Proving and Mathematical Knowledge Retrieval

13 years 6 months ago

Bridging Theorem Proving and Mathematical Knowledge Retrieval

Download www.ags.uni-sb.de

Christoph Benzmüller, Andreas Meier, Volker S

Real-time Traffic

Applied Computing | BIRTHDAY 2005 |

claim paper

Related Content

» Proving theorems by reuse

» Combining Theorem Proving with Natural Language Processing

» On Choice Principles and Fan Theorems

» Computational Discovery in Pure Mathematics

» Semantic Selection of Premisses for Automated Theorem Proving

» MATHsAiD A Mathematical Theorem Discovery Tool

» A ProofTheoretic Approach to Hierarchical Math Library Organization

» User Interaction with the Matita Proof Assistant

» Evidential Paradigm and Intelligent Mathematical Text Processing

Post Info
More Details (n/a)

Added	13 Oct 2010
Updated	13 Oct 2010
Type	Conference
Year	2005
Where	BIRTHDAY
Authors	Christoph Benzmüller, Andreas Meier, Volker Sorge

Comments (0)