Extraction of Logical Structure from Articles in Mathematics

Extraction of Logical Structure from Articles in Mathematics
复制标题

数学文章逻辑结构的提取

DOI:
--
复制
发表时间:
2004
期刊:
3rd International Conference MKM2004,Bialowieja, Poland, Lecture Notes in Computer Sciences, Springer 3119
影响因子:
--
通讯作者:
M.Suzuki
M.Suzuki
中科院分区:
--
文献类型:
--
作者:
K.Nakagawa;A.Nomura;M.Suzuki

文献摘要

参考文献

被引文献

相似文献

带注释的语料库和定理描述的语法模型
DOI: --
发表时间: 2003
期刊: Mathematical Knowledge Management, The 2nd International conference MKM2003, Bologna, Italy, Lecture Notes in Computer Sciences 2594, Springer
影响因子: --
作者:
Y.Baba;M.Suzuki
通讯作者: M.Suzuki
DOI: --
发表时间: 1998
期刊: --
影响因子: --
作者:
K. Summers
通讯作者: K. Summers