Formal differentiation : a program synthesis technique /

Bibliographic Details

Main Author:	Paige, Robert A.
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1981]
Series:	Computer science. Artificial intelligence ; no. 6.
Subjects:	Computer programming. Algorithms.