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 Guiho, G.
View the document Guiho, G. (J. P. Jouannaud and G. Guiho) -- Inference of functions with an interactive system - 1979