ML Anthology
Authors
Search
About
Ammon, Kurt
1 publications
AAAI
1988
The Automatic Acquisition of Proof Methods
Kurt Ammon