Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |