连杆机构的计算机辅助设计 【工业技术】

计算机模拟I/O技术 【工业技术】

计算机图形核心系统GKS引论 【工业技术】

有机化合物的结构测定方法 利用13C-NMR， 1H-NMR， IR和MS图谱的综合解析 【数理化】

控制系统计算机辅助设计 【工业技术】

计算机技术与应用 第1期 【工业技术】

计算机辅助几何设计的数学方法 【工业技术】

计算机原理与BASIC语言 【工业技术】

计算机局部网络-发展、技术与性能 【工业技术】

计算机解题逻辑 【工业技术】

书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用