大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 数理逻辑 的图书(共34本)
 |
数理逻辑0索取号：O141-43/7 作者：毕富生、 出版社：北京：高等教育出版社，2004 |  |
离散数学习题集．数理逻辑与集合论分册0索取号：O158-44/6b 作者：耿素云、 出版社：北京：北京大学出版社，1993 |
 |
数学逻辑0索取号：O141-43/3 作者：王兵山、张强、李舟军、 出版社：长沙：国防科技大学出版社，1993 |  |
次协调逻辑与人工智能0索取号：B81-05/5 作者：桂起权、陈自立、朱福喜、 出版社：武汉：武汉大学出版社，2002 |
 |
多值逻辑理论及应用研究：罗铸楷教授文集0索取号：O141-53/1 作者：罗铸楷、 出版社：长沙：国防科技大学出版社，2003 |  |
集论与逻辑：面向计算机科学0索取号：O14-43/1 作者：沈恩绍、 出版社：北京：科学出版社，2003 |
 |
互逆主义数理逻辑0索取号：O141/7 作者：周训伟、 出版社：北京：中国科学技术出版社，2004 |  |
可拓逻辑初步0索取号：O14/1 作者：蔡文、杨春燕、何斌、 出版社：北京：科学出版社，2003 |
 |
数理逻辑引论与归结原理0索取号：O141/2b 作者：王国俊、 出版社：北京：科学出版社，2003 |  |
非经典数理逻辑与近似推理0索取号：O141/2 作者：王国俊、 出版社：北京：科学出版社，2000 |
 |
数学机械化0索取号：O1-0/1 作者：吴文俊、 出版社：北京：科学出版社，2003 |  |
人工智能．上册0索取号：TP18/19-1 作者：陆汝钤、 出版社：北京：科学出版社，1995.. |
 |
人工智能．下册0索取号：TP18/19-2 作者：陆汝钤、 出版社：北京：科学出版社，1996.. |  |
世纪转折处的哲学巨匠：弗雷格0索取号：B516.59/11 作者：王路、 出版社：北京：社会科学文献出版社，2002 |
 |
数理逻辑与集合论(第二版)：精要与题解0索取号：O141-43/2:2 作者：王宏、杨明、 出版社：北京：清华大学出版社，2001 |  |
可计算性理论0索取号：O141.3/2 作者：杨东屏、李昂生、 出版社：北京：科学出版社，1999 |
最近添加的分类
粤公网安备 44030602003680号