An Annotated Corpus and a Grpus and a Grammar Model of Theorem description
書誌事項
- タイトル
- An Annotated Corpus and a Grpus and a Grammar Model of Theorem description
- 著者
- Y.Baba, M.Suzuki
収録刊行物
-
- Lecture Notes in Computer Sciences, Springer, (Mathematical knowledge Management) 2594
-
Lecture Notes in Computer Sciences, Springer, (Mathematical knowledge Management) 2594 93-104, 2003
