Searching for authors named Koji Iwanuma – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Complete Pruning Methods and a Practical Search Strategy for SOL
by Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
… of Yamanashi, Japan Koji Iwanuma University of Yamanashi, Japan Katsumi Inoue National Institute of Informatics…
Add To MetaCart

Completeness of Pruning Methods for Consequence Finding Procedure SOL
by Koji Iwanuma, Katsumi Inoue, Ken Satoh — 2000 — In Proceedings of the Third International Workshop on First-Order Theorem Proving (FTP’2000
…Completeness of Pruning Methods for Consequence Finding Procedure SOL ? Koji Iwanuma 1 , Katsumi…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB