大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 陆钟万 的图书(共5本)

面向计算机科学的数理逻辑 mian xiang ji suan ji ke xue de shu li luo ji

6.6
索取号:627781
作者:陆钟万、
出版社:北京 : 科学出版社, 2002

面向计算机科学的数理逻辑

0
索取号:O14/981
作者:陆钟万、
出版社:北京 : 科学出版社, 1998

数理逻辑与机器证明

0
索取号:057199
作者:陆钟万、
出版社:北京 : 科学出版社, 1983

数理逻辑基础. 下册

0
索取号:O141/812/2
作者:胡世华、陆钟万、
出版社:北京 : 科学出版社, 1981~1982

数理逻辑基础. 上册

0
索取号:O141/812/1
作者:胡世华、陆钟万、
出版社:北京 : 科学出版社, 1981~1982
最近添加的分类