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
収録刊行物
-
- Lecture Notes in Computer Sciences, Springer, (Mathematical knowledge Management) 2594
-
Lecture Notes in Computer Sciences, Springer, (Mathematical knowledge Management) 2594 93-104, 2003