序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 航空、航天 疲劳与寿命 润滑油泵 泡沫塑料 气象学在建筑中的应用 与雕塑的关系 木模 各种食用油 自动化技术、计算机技术 高电压试验设备及测量技术 热力工程、热机 旋涡熔炼炉 热风炉自动控制 热交换及其设备 制冷设备 制冷机械和设备 气泡病 播种材料的处理 种子生理、生化 人类学 绿兰蛾科 电子计算机在大气科学上的应用 命题演算、谓词演算、类演算 非洲史 外来语 各国对外贸易 基本建设研究与决策 国民经济计划体系 空防 团的工作