Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
复制标题
基于上下文无关语法和树语法相结合的数学公式验证
DOI:
--
复制
发表时间:
2008
期刊:
影响因子:
--
通讯作者:
S. Uchida
中科院分区:
文献类型:
--
作者:
A. Fujiyoshi;M. Suzuki;S. Uchida
登录
查看更多内容
DOI:
--
发表时间:
2006
期刊:
IEICE Transactions on Information and Systems E90-D・2
影响因子:
--
作者:
藤芳;明生;Akio Fujiyoshi;Akio Fujiyoshi
通讯作者:
Akio Fujiyoshi
DOI:
--
发表时间:
2005
期刊:
IEICE Technical Report PRMU2004-212-230
影响因子:
--
作者:
A.Nomura
通讯作者:
A.Nomura
DOI:
10.1016/b978-0-123-95608-8.x5001-4
发表时间:
1968
影响因子:
--
作者:
M. Klerer;J. Reinfelds
通讯作者:
J. Reinfelds
DOI:
--
发表时间:
2006
期刊:
Mathematical Knowledge Management, Lecture Notes in Computer Science 4108
影响因子:
--
作者:
T.Kanahori;A.Sexton;V.Sorge;M.Suzuki
通讯作者:
M.Suzuki
影响因子:
0.5
作者:
Akio Fujiyoshi;T. Kasai
通讯作者:
T. Kasai