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

researchr

You are not signed in
Sign in
Sign up

Joachim Draeger, Stephan Schulz. Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. In Ingrid Russell, John F. Kolen, editors, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA. pages 345-349, AAAI Press, 2001.

This author has not been identified. Look up 'Joachim Draeger' in GoogleThis author has not been identified. Look up 'Stephan Schulz' in Google

runs on WebDSL