×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
首页
期刊简介
编委会
投稿指南
期刊订阅
下载中心
新闻公告
联系我们
English
Formalizing Three-Dimensional Ordered Geometry in Coq: A Hilbert's Perspective
ZHANG Qimeng, YU Wensheng
Formalizing Three-Dimensional Ordered Geometry in Coq: A Hilbert's Perspective
ZHANG Qimeng, YU Wensheng
系统科学与复杂性(英文) . 2024, (
): 0 .
