[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || A Search Engine for Mathematical Formulae
- 作者Calmet, Jacques; Ida, Tetsuo; Wang, Dongming
- 文件大小607.82KB
- 发表时间2006
- DOI10.1007/11856290_21
- 页码241-253
海量图书期刊资源，随时随地畅享阅读乐趣