AUTOMATED THEOREM PROVING AFTER 25 YEARS
￥ 98 九品
仅1件
作者AMERICAN MATHEMATICAL SOCIETY
出版社AMERICAN MATHEMATICAL SOCIETY
出版时间1984
装帧平装
开本大16开
货号18C
上书时间2021-04-21
商品详情
- 品相描述：九品
相关推荐
-
automated manufacturing 馆藏
八品南京
￥ 58.00
-
ROBOTICS AND AUTOMATED SYSTEMS
八品北京
￥ 1000.00
-
Automated surveillance 自动监测
九品北京
￥ 188.00
-
Automated Integrated Circuits Manufacturing
八品汕头
￥ 10.00
-
Automated Generalization in GIS
九品北京
￥ 25.00
-
automated tools for inforation systems design
八五品北京
￥ 198.00
-
An Introduction to Automated Data Acquisition
八五品怀化
￥ 40.00
-
Performance Modeling of Automated Manufacturing Systems
八五品上海
￥ 140.80
-
~AUTOMATED THEOREM PROVING AFTER 25 YEARS
九品北京
￥ 100.00
-
AUTOMATED THEOREM PROVING AFTER 25 YEARS
九品北京
￥ 100.00
— 没有更多了 —
以下为对购买帮助不大的评价