DBLP:conf/ijcai/Anderson81a + redirect page
Tuning of Search of the Problem Space for Geometry Proofs + Has identifier
| Tuning of Search of the Problem Space for Geometry Proofs |
Has publishing details
pp. 165-170, 1981
Has title
Tuning of Search of the Problem Space for Geometry Proofs
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai81.html#Anderson81a
Has where published
IJCAI
Has year
1981
Has author
John R. Anderson +
Has identifier
Tuning of Search of the Problem Space for Geometry Proofs +
Categories Proceeding Paper +
|
