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 Jouannaud, J. P.
View the document Jouannaud, J. P. (J. P. Jouannaud and Y. Kodratoff) -- Characterization of a class of functions synthesized by a Summers-like method using a B.M.W. matching technique - 1979
View the document Jouannaud, J. P. (J. P. Jouannaud and Y. Kodratoff) -- An automatic construction of LISP programs by transformations of functions synthesized from their input-output behavior - 1980
View the document Jouannaud, J. P. (J. P. Jouannaud and G. Guiho) -- Inference of functions with an interactive system - 1979
View the document Jouannaud, J. P. (J. P. Jouannaud and T. P. Treuil) -- SISP/1, an interactive system able to synthesize functions from examples - 1977