书名
Proof and computation II : from proof theory and univalent mathematics to program extraction and ver
作者
Mainzer, Klaus,
从编题名
出版、发行地
出版、发行者名称
Wiley,
出版、发行日期
2021
页数
分类号
O1-37/P965/2021/Y
分类
数理科学和化学
内容提要
馆藏地点
总馆理科外文阅览
点击:0次
[
关闭窗口
]