Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)
Bibliographic Information
- Title
- Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)
- Author
- T.Wakaki, K.Tomita
Journal
-
- 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
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781936830208
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN