— 胡世华，陆钟万著
索 书 号 ：51.3/2/2
出版信息：科学出版社 1982 北京
中文图书
收藏
— 陆钟万著
索 书 号 ：51.31/5
标准编码： 7-03-006065-2
出版信息：科学出版社 1998 北京
标准编码： 7-301-00828-7
出版信息：北京大学出版社 1989 北京
索 书 号 ：51.31/5-2
标准编码： 7-03-009657-6
出版信息：科学出版社 2002 北京
索 书 号 ：O141/2/1
索 书 号 ：O141/9
出版信息：科学出版社 1983 北京
主 题 词 ： 数理逻辑 机器证明
1 共有： 6 条记录
请点击下载Flash Player 9 或更高版本
