互逆主义逻辑与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、数学、编程与语言、计算、计算机、逻辑、
简介
注解