Sciweavers

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

8

FLAIRS
2001

favoriteEmaildiscussreport

100views Artificial Intelligence» more FLAIRS 2001»

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization

13 years 5 months ago

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization

Download www.aaai.org

Joachim Draeger, Stephan Schulz

Real-time Traffic

Artificial Intelligence | FLAIRS 2001 |

claim paper

Related Content

» Edit and verify

» randoCoP Randomizing the Proof Search Order in the Connection Calculus

» Verifying the Modal Logic Cube Is an Easy Task For HigherOrder Automated Reasoners

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	FLAIRS
Authors	Joachim Draeger, Stephan Schulz

Comments (0)