DBLP:conf/aaai/Ammon88 + redirect page
The Automatic Acquisition of Proof Methods + Has identifier
| The Automatic Acquisition of Proof Methods |
Has publishing details
pp. 558-563, 1988
Has title
The Automatic Acquisition of Proof Methods
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai88.html#Ammon88
Has where published
AAAI
Has year
1988
Has author
Kurt Ammon +
Has identifier
The Automatic Acquisition of Proof Methods +
Categories Proceeding Paper +
|
