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 Ishino, Akira
View the document Ishino, Akira (Akira Ishino and Akihiro Yamamoto) -- Learning from Examples with Typed Equational Programming - 1994