Author:
Dershowitz Nachum,Lee Yuh-Jeng
Subject
Computational Mathematics,Algebra and Number Theory
Reference51 articles.
1. Laura, a system to debug student programs;Adam;Artificial Intelligence,1980
2. Contributions to the theory of logic programming;Apt;J. ACM,1982
3. Approaches to automatic programming;Biermann,1976
4. Automatic programming;Biermann,1992
5. Test sets generating from algebraic specifications using Logic Programming;Bouge;J. of Syst. and Softw.,1986
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献