几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

中国科幻名家获奖佳作丛书 可爱的机器犬

本书收录了当代著名科幻作家王晋康的中短篇佳作，如《四重紧身衣》《可爱的机器犬》《泡泡》等。王晋康的作品风富有浓厚的哲理意蕴，语言典雅流畅，结构精致，构思奇巧，善于设置悬念，作品具有较强的可读性，是严肃......

机器制造工业的集中化、专业化、协作化与联合化

山西省襄垣县第三次人口普查机器汇总交汇汇编

俄汉机器翻译系统中的语义识别 以第五格名词为例

大饼猫大战机器猫

本书讲述了刚上一年级的小学生甲乙身边的故事，他聪明淘气，天真善良，还有一群小伙伴。在本册书中，甲乙和小猫“大饼”搞得家里鸡犬不宁，爸爸妈妈本想用机器猫替代大饼猫，可甲乙最终还是让大饼猫战胜了机器猫；和......

高等学校教学用书 冶金和机器制造工厂的热处理车间设备

不动产 机器设备 珠宝首饰 资源资产评估实务

本书介绍了土地估价相关知识及实务、机器设备评估、珠宝首饰评估、矿产资源资产暨矿业权评估、森林资源资产评估等资产评估知识。

机器岛

本书是法国作家“科幻小说之父”凡尔纳的著名作品。四位法国演奏家在美国巡回演出途中，因为交通意外而“误”上了一座人工岛。这座岛具有钢铁外壳，由可提供千万马力的发动机驱动，自由地在太平洋漫游。整座岛就...

中国科幻精品屋系列 竞争机器

本书收集了1905年至1998年间近百年来中国大陆、港台及海外华人发表的优秀科幻小说，将原作缩编为故事梗概，形成了一篇篇精彩的微型科幻小说。每册收入100余篇，20册共计收入3000篇。由于每篇都注明首次发表时间...