大约有2,000项符合查询结果项。（搜索耗时：0.0349秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
拉克洛瓦 韦达定理 证明方法
交互式定理证明与程序开发
几何证明
-
安维复著2015 年出版359 页ISBN：9787303185337
本书为国家社科基金后期资助项目中的一本，书稿针对逻辑经验主义“拒斥形而上学”的论断以及由此造成的“科学哲学没有历史”的结论，基于文献和谱系分析的方法，选取哲学史（包括科学哲学）共有的十对范畴并将其置于...
-
（美）艾西摩夫（Asimov，I.）著；牛顿编译中心译1986 年出版195 页ISBN：
-
（意）罗伦佐著2015 年出版232 页ISBN：9787549112203
本书将引领读者进入到一个奇幻的达芬奇世界，它由著名的达芬奇研究专家多明尼哥·罗伦佐编写，两位国际知名的计算机图像绘图专家将达芬奇精美绝伦的32张发明手稿以计算机3D图像作视觉性解说，充分再现了他理想的...
-
王洪，刘绍球总主编；刘兴良，沈以淡主编；陶力民绘图1992 年出版160 页ISBN：7541407275
-
吴岩，余俊雄编1992 年出版142 页ISBN：7303014144
-
戴今祖，周嘉华编1988 年出版324 页ISBN：7810220438
-
(英)史蒂夫·帕克尔编著2009 年出版32 页ISBN：9787110060186
速度能带来快感——引擎轰鸣，能量激增，风吹在脸上，两边的景物一闪而过。在公路上，在铁道上，在海上，在天空，没有比乘坐一辆高速的机器更刺激的了。本书将为你打开令人惊叹的飞行器和交通工具的内部，揭示在流线......
-
-
邢台地区人口普查办公室1984 年出版150 页ISBN：
-
张湘琴等主编；孙琦厚等编著1986 年出版284 页ISBN：2090·89
