The Effect of the Thoerem Prover in Cognitive Science
Bibliographic Information
- Title
- The Effect of the Thoerem Prover in Cognitive Science
- Author
- T.Takahashi
Journal
-
- Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992
-
Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992 924-927, 2006
- Tweet
Details 詳細情報について
-
- CRID
- 1010282256850378376
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN