|
题名:
|
计算机解题逻辑 [ 专著] ji suan ji jie ti luo ji / (英)科瓦尔斯基(Kowalski,R.)著 , 郑守淇译 |
|
ISBN:
|
价格： CNY2.05 |
|
语种:
|
chi |
|
载体形态:
|
198页 26厘米 |
|
出版发行:
|
出版地： 西安 出版社： 西安交通大学出版社 出版日期： 1986.11 |
|
内容提要:
|
本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等。 |
|
主题词:
|
逻辑 应用 |
|
中图分类法:
|
TP31 版次： 1980 |
|
主要责任者:
|
科瓦尔斯基 ke wa er si ji 著 |
|
次要责任者:
|
郑守淇 zheng shou qi 译 |
|
附注:
|
书名原文:Logic for problem solving |
|
附注:
|
书名原文:Logic for problem solving |
|
科图分类法:
|
51.85 版次： 1974 |
|
索书号:
|
2 |