序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 装配 减速器 搪瓷生产机械制造 计算机的应用 中文操作系统 计算技术、计算机技术 自动化技术、计算机技术 显示技术 仪器、仪表 分配器 自动卸荷器 射流式 动力式液压传动 容积式液压传动 传动装置 机械零件及传动装置 机械、仪表工业 用样板造芯 工业技术 中兽医临床经验 飞机施肥 针灸学、针灸疗法 长角蛾科 基因的表达 同位素交换反应 贝叶斯统计 判决函数（决策函数） 命题演算、谓词演算、类演算 教育学史、教育思想史 货币