版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
丛 书 名:计算机科学丛书
版本说明:1
I S B N:(纸本) 15031·586
出 版 社:科学出版社
出 版 年:1984年
页 数:280页
学科分类:07[理学] 08[工学] 081203[工学-计算机应用技术] 0835[工学-软件工程] 0701[理学-数学] 070101[理学-基础数学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
馆 藏 号:201209385...
摘 要:本书共分六章:前两章是关于几何机械化的预备知识第三章为几何定理机器证明的机械化与Hibert机械化定理第四、五章分别为(常用无序几何和(常用)有序几何的机械化定理第六章论述各种几何的机械化定理。