The Effect of the Thoerem Prover in Cognitive Science
書誌事項
- タイトル
- The Effect of the Thoerem Prover in Cognitive Science
- 著者
- T.Takahashi
収録刊行物
-
- Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992
-
Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992 924-927, 2006