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 Miyahara, T.
View the document Miyahara, T. (T. Miyahara) -- Refutable inference of functions computed by loop programs - 1995
View the document Miyahara, T. (T. Miyahara) -- Analogical reasoning using elementary formal system with mismatch - 1992