A Formal Deductive Problem-Solving System
Journal of the ACM (JACM)
R69-31 A Formal Deductive Problem-Solving System
IEEE Transactions on Computers
Predicting the length of solutions to problems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper discusses and feasibility and desirability of constructing a "programming laboratory " which would cooperate with the user in the development of his programs, freeing him to concentrate more fully on the conceptual diffculties of the problem ...