图书馆

登录

搜索 论证挖掘与论证形式化 的资源共有 1 条结果，用时 0.0 秒

每页显示：

5
10
15
20

显示方式：

排序方式：

图书馆

云南农业大学图书馆(1)

资源类型

图书(1)

馆藏地址

西苑分馆南二楼(1)

书目库

中文图书(1)

主题

证明(1)

出版社

科学出版社(1)

出版时间

2022.10(1)

论证挖掘与论证形式化

— 鞠实儿... [等]著

索书号：B812.4/3

标准编码： 978-7-03-073467-9

出版信息：北京科学出版社 2022.10

中文图书

馆藏预览

数据正在加载中……

数据正在加载中……

1 共有：1条记录

参考翻译

热门检索词

相关资源