-
中文图书1.数学证明是怎样的一项数学活动?:what kind of activity is it? O141.2/1
馆藏复本:3
可借复本:3 萧文强著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书2.科学验证:那些天空及世间的证明:the proof of the sky and the earth Z228/246
馆藏复本:3
可借复本:3 江晓原主编
上海教育出版社 2019
(0) 馆藏 -
日文图书3.証拠 H313.45/J38
馆藏复本:1
可借复本:1 ディック·フランシス著
早川書房 1990.8
(0) 馆藏 -
中文图书4.证据法学 D925.01/2:1
馆藏复本:5
可借复本:5 主编宋世杰
湖南人民出版社 2004
(0) 馆藏 -
中文图书5.高阶逻辑辅助证明系统 TP391.7/25
馆藏复本:3
可借复本:3 (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍尔森, (德) 玛尔库斯·温泽尔著
北京理工大学出版社 2013
(0) 馆藏

