机读格式显示(MARC)

• 000 01302nam0 2200325 450

• 001 0000609401

• 005 20231214103400.0

• 010 __ |a 978-7-03-072097-9 |d CNY89.00

• 099 __ |a CAL 012022066880

• 100 __ |a 20220711d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 拉格朗日力学理论的形式化与机器人动力学形式化分析 |A la ge lang ri li xue li lun de xing shi hua yu ji qi ren dong li xue xing shi hua fen xi |f 关永 ... [等] 著

• 210 __ |a 北京 |c 科学出版社 |d 2022

• 215 __ |a 156页 |d 24cm

• 304 __ |a 题名页题其余责任者: 张景芝, 施智平, 李晓娟

• 320 __ |a 有书目

• 330 __ |a 本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。

• 606 0_ |a 机器人 |A ji qi ren |x 动力学 |x 研究

• 690 __ |a TP24 |v 5

• 701 _0 |a 关永 |A guan yong |4 著

• 701 _0 |a 张景芝 |A zhang jing zhi |4 著

• 701 _0 |a 施智平 |A shi zhi ping |4 著

• 701 _0 |a 李晓娟 |A li xiao juan |4 著

• 801 _0 |a CN |b CAU |c 20231123

• 905 __ |a CAU |d TP24/107

• 920 __ |a 211180 |z 1

• 921 __ |a BMQZ |b RTBOOK