Formal differentiation a program synthesis technique
Paige, Robert A
Formal differentiation a program synthesis technique by Robert A. Paige - Ann Arbor, Mich. : UMI Research Press, 1981 - 277 p. : 24 cm. - Computer science no. 7 . - Computer science Artificial intelligence no. 7 .
Revision of thesis (Ph.D.)--New York University, 1979
Bibliography : p.271-274
81-7632
Electronic digital computers--Programming
Algorithms
Formal differentiation a program synthesis technique by Robert A. Paige - Ann Arbor, Mich. : UMI Research Press, 1981 - 277 p. : 24 cm. - Computer science no. 7 . - Computer science Artificial intelligence no. 7 .
Revision of thesis (Ph.D.)--New York University, 1979
Bibliography : p.271-274
81-7632
Electronic digital computers--Programming
Algorithms