当前位置：首页 > 名称
大约有7,000项符合查询结果项。（搜索耗时：0.0213秒）
为您推荐： press中国计算机用户协会 应用通讯 press中国计算机用户协会浙江分会 press武汉市科学技术情报研究所 武汉计算机检索及其用户协会 中国计算机用户 杂志社 中国计算机用户协会江西吉安地区分会江西省机械工业厅技术情报站 press中国微型电脑应用协会武汉分会
-
-
-
-
-
-
-
-
-
面向计算机科学的数理逻辑
陆钟万著2002 年出版263 页ISBN：7030096576《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...
-
学科分类