Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)
書誌事項
- タイトル
- Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)
- 著者
- T.Wakaki, K.Tomita
収録刊行物
-
- Transactions of the Japanese Society for Artificial Intelligence Vol.22, No.5 (to appear)
-
Transactions of the Japanese Society for Artificial Intelligence Vol.22, No.5 (to appear) 472-481, 2007