书目详细信息
： 互逆主义逻辑与Super-Prolog语言
书目信息 机读格式(MARC)
| ISBN/价格： | 7-5046-3347-X:CNY25.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 互逆主义逻辑与Super-Prolog语言/.周训伟著 |
| 出版发行项： | 北京:,中国科学技术出版社:,2002 |
| 载体形态项： | 362页:;+20cm |
| 一般附注： | 北京市自然科学基金委员会的资助 |
| 提要文摘： | 本书共分Prolog语言、互逆主义逻辑、Super－Prolog语言三部分，共十二章内容进行阐述。大部分章节后面均附有习题。 |
| 题名主题： | PROLOG语言 程序设计 |
| 题名主题： | PROLOG语言 |
| 题名主题： | 程序设计 |
| 中图分类： | TP312PR |
| 个人名称等同： | 周训伟 (副教授) 著 |
| 记录来源： | CN NLC 20030730 |