A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Treuil, T. P.
View the document Treuil, T. P. (J. P. Jouannaud and T. P. Treuil) -- SISP/1, an interactive system able to synthesize functions from examples - 1977