ML Anthology

Harao, Masateru

2 publications

ALT 1991 Proving Based on Similarity Ken-etsu Fujita, Masateru Harao
ALT 1990 Analogical Reasoning Based on Higher-Order Unification Masateru Harao