-
中文图书1.贝叶斯推理与机器学习 O212/7201
馆藏复本:2
可借复本:2 (英)大卫·巴伯(David Barber)著
机械工业出版社 2023
(0) 馆藏
-
中文图书2.分析基础机器证明系统 O171/402
馆藏复本:4
可借复本:4 郁文生, 付尧顺, 郭礼权著
科学出版社 2022
(0) 馆藏
-
中文图书3.哈密顿力学理论的形式化与机器人动力学形式化分析 O316/081
馆藏复本:3
可借复本:3 施智平 ... [等] 著
科学出版社 2022
(0) 馆藏
-
中文图书4.代数、生物信息和机器人技术的算法问题.第五卷,相对覆盖性和独立可拆分恒等式系统.俄文 O15/335:V2
馆藏复本:3
可借复本:3 (俄罗斯) 弗拉基米尔·波波夫著
哈尔滨工业大学出版社 2020
(0) 馆藏
-
中文图书5.代数、生物信息和机器人技术的算法问题.第六卷,恒等式和准恒等式的相等问题、可推导性和可实现性.俄文 O15/335:V3
馆藏复本:3
可借复本:3 (俄罗斯) 弗拉基米尔·波波夫著
哈尔滨工业大学出版社 2020
(0) 馆藏
-
中文图书6.代数、生物信息和机器人技术的算法问题.第四卷,独立恒等式系统:俄文 O15/335
馆藏复本:3
可借复本:3 (俄罗斯)弗拉基米尔·波波夫著
哈尔滨工业大学出版社 2020
(0) 馆藏
-
中文图书7.公理化集合论机器证明系统 O144-39/402
馆藏复本:2
可借复本:2 郁文生, 孙天宇, 付尧顺著
科学出版社 2020
(0) 馆藏
-
中文图书8.机器学习方法在电磁逆散射问题中的应用研究 O441.4/1331
馆藏复本:1
可借复本:1 张清河著
科学出版社 2019
(0) 馆藏
-
中文图书9.正则化深度学习及其在机器人环境感知中的应用 O177/010
馆藏复本:3
可借复本:3 刘勇, 廖依伊著
科学出版社 2018
(0) 馆藏
-
中文图书10.几何定理机器证明的几何不变量方法 O18/165
馆藏复本:1
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏
-
中文图书11.李群机器学习 O152.5/474
馆藏复本:3
可借复本:3 李凡长 ... [等] 著
中国科学技术大学出版社 2013
(0) 馆藏
-
中文图书12.不等式机器证明与自动发现 O178-39/460
馆藏复本:4
可借复本:3 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏