Yamamoto, Masahito

Yamamoto, Masahito has 1 paper(s) in the AIS Basket corpus on Otero.

1. A reduction method for theorem proving based on the partial-instantiation technique — Decision Support Systems, 1998