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 Kimura, Shigetomo
View the document Kimura, Shigetomo (Shigetomo Kimura, Atsushi Togashi and Norio Shiratori) -- Inductive Synthesis of Recursive Processes from Logical Properties - December 2000