计算机解题逻辑 [电子资源]


名称	计算机解题逻辑 [电子资源]

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