大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 计算机解题逻辑
名称 计算机解题逻辑
索引号 034233
分类号
(| 08 环境公报)
作者 科瓦尔斯基(Kowalski、R.)、郑守淇、
出版社 西安 : 西安交通大学出版社, 1986.11
ISBN
页数 198页 ; 26cm
价格 -CNY2.05
标签
简介
注解 书名原文:Logic for problem solving 著者原题:R.科瓦尔斯基 本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等・