Ohuchi, Azuma

Ohuchi, Azuma 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