书目信息 |
相关链接 |
![]() |
![]() |
![]() |
正题名:交互式定理证明与程序开发
索取号:O141-39/B675
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1002531 | 210025319 | 自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] | 在馆 | |
2 | 1002532 | 210025328 | 自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] | 在馆 | |
3 | 1002533 | 210025337 | 自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] | 在馆 |