-
中文图书1.哈密顿力学理论的形式化与机器人动力学形式化分析 O316/S987
馆藏复本:6
可借复本:6 施智平 ... [等] 著
科学出版社 2022.09
(0) 馆藏 -
中文图书2.几何代数的形式化与初步应用 TP18/G926
馆藏复本:3
可借复本:3 关永, 李黎明, 施智平著
科学出版社 2020
(0) 馆藏
馆藏复本:6
可借复本:6 施智平 ... [等] 著
科学出版社 2022.09
(0) 馆藏
馆藏复本:3
可借复本:3 关永, 李黎明, 施智平著
科学出版社 2020
(0) 馆藏