|
000
|
01200nam0 2200277 450
|
|
001
|
2260403692
|
|
010
|
|
@a978-7-03-072097-9@dCNY89.00
|
|
100
|
|
@a20220711d2022 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a拉格朗日力学理论的形式化与机器人动力学形式化分析@Ala 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科学出版社@d2022.05
|
|
215
|
|
@a156页@d24cm
|
|
304
|
|
@a题名页题其余责任者: 张景芝, 施智平, 李晓娟
|
|
320
|
|
@a有书目
|
|
330
|
|
@a本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。
|
|
606
|
0
|
@a机器人@Aji qi ren@x动力学@x研究
|
|
690
|
|
@aTP24@v5
|
|
701
|
0
|
@a关永@Aguan yong@4著
|
|
701
|
0
|
@a张景芝@Azhang jing zhi@4著
|
|
701
|
0
|
@a施智平@Ashi zhi ping@4著
|
|
701
|
0
|
@a李晓娟@Ali xiao juan@4著
|
|
801
|
0
|
@aCN@c20220906
|
|
905
|
|
@a河南城建学院图书馆@dTP24@eG555
|
|
|
|
|
| |
| 拉格朗日力学理论的形式化与机器人动力学形式化分析/关永 ... [等] 著.-北京：科学出版社，2022.05 |
| 156页；24cm |
| |
| |
| ISBN 978-7-03-072097-9：CNY89.00 |
| 本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 |
| ● |
正题名：拉格朗日力学理论的形式化与机器人动力学形
索取号：TP24/G555
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1572837
|
215728372
|
自科库301/301自科库 40排4列4层/
[索取号:TP24/G555]
|
在馆
|
|
