Richard Brown
-
Automatic synthesis of numerical computer programs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2