Mizar Mathematical Library の依存関係の可視化に関する研究
Mizar Mathematical Library の依存関係の可視化に関する研究
复制标题
Mizar数学库依赖关系可视化研究
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
和﨑 克己
中科院分区：
文献类型：
--
作者：
重中 晟吾;中正 和久;和﨑 克己
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
International Conference on Intelligent Computer Mathematics
影响因子：
--
作者：
Fulya Horozal;Florian Rabe
通讯作者：
Florian Rabe
DOI：
10.1007/978-3-030-53518-6_13
发表时间：
2020
期刊：
Сибирский научный медицинский журнал
影响因子：
--
作者：
Dennis Müller;Florian Rabe;Colin Rothgang;M. Kohlhase
通讯作者：
M. Kohlhase
XML 化 Mizar：使 MML 的语义处理和表示变得容易
DOI：
10.1007/11618027_23
发表时间：
2005
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
J. Urban
通讯作者：
J. Urban
在语句级别扩展 MKM 格式
DOI：
10.1007/978-3-642-31374-5_5
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Fulya Horozal;M. Kohlhase;Florian Rabe
通讯作者：
Florian Rabe
可扩展的模块系统
DOI：
10.1016/j.ic.2013.06.001
发表时间：
2011
期刊：
Inf. Comput.
影响因子：
--
作者：
Florian Rabe;M. Kohlhase
通讯作者：
M. Kohlhase