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