Automated Software Engineering
Logic Program Synthesis as Problem Reduction Using Combining Forms
Automated Software Engineering
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Inferring Flow of Control in Program Synthesis by Example
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Encyclopedia of Computer Science
An introduction to inductive programming
Artificial Intelligence Review
Tractable and intractable second-order matching problems
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Data-Driven Detection of Recursive Program Schemes
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
| Hi-index | 0.00 |