KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Introducing the mathematical category of artificial perceptions
Annals of Mathematics and Artificial Intelligence
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Selected M-Related Dissertations Bibliography
ACM SIGART Bulletin
Toward an Automatic Approach to Greedy Algorithms
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The abstraction/implementation model of problem reformulation
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |