人文科学的逻辑

亚里士多德的逻辑学说

刑侦中的逻辑应用

揭开机器人的面纱

本书第1章～第4章介绍了机器人技术基础，包括机器人的构成、机器人的结构以及机器人的感官与控制；第5章～第7章介绍了形形色色的机器人，包括玩具机器人、古代机器人、智能机器人；第8章～第10章介绍了如何自己动手搭......

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

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

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

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

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

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

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

中国乡镇企业的发展历史与运行机制 上