Communications of the ACM
Communications of the ACM - The MIT Press scientific computation series
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Some Empirical Criteria for Attributing Creativity to a Computer Program
Minds and Machines
On the discovery of mathematical theorems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Duce, an oracle-based approach to constructive induction
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
| Hi-index | 0.02 |