大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 逻辑设计 » 互逆主义逻辑与Super-Prolog语言
名称 互逆主义逻辑与Super-Prolog语言
索引号 TP302.2/7
分类号 TP302.2
TP302.2(逻辑设计)
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 周训伟、
出版社 北京：中国科学技术出版社，2002
ISBN 7-5046-3347-X
页数 362页
价格 CNY25.00
标签 程序语言、逻辑设计、prolog、数学、编程与语言、计算、计算机、逻辑、
简介
注解