江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算机解题逻辑/(英)科瓦尔斯基(Kowalski,R.)著 郑守淇译

出版发行项:

西安:西安交通大学出版社,1986.11

ISBN及定价:

/$2.05

载体形态项:

198页;26厘米

编目员补充题名:

计算机解题逻辑

个人责任者:

科瓦尔斯基(Kowalski,R.) 著

个人责任者:

郑守淇 译

学科主题:

逻辑 - 应用 - 程序设计

学科主题:

程序设计 - 逻辑 - 应用

中图法分类号:

TP31

科图法分类号:

51.85

一般附注:

书名原文:Logic for problem solving

一般附注:

著者原题:R.科瓦尔斯基

提要文摘附注:

本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等。

豆瓣简介：