Some studies in machine learning using the game of checkers
Computers & thought
Realization of a geometry-theorem proving machine
Computers & thought
GPS, a program that simulates human thought
Computers & thought
Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Journal of the ACM (JACM)
Some theoretical results concerning automated game-playing
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Hi-index | 0.00 |