作者	俞瑞钊
出版社
出版时间	2001-01-01

特色：

本书内容包括算术与逻辑运算函数、性质表及其操作函数、原子的生成与分解函数、命题公式的永真性与等传值、专家系统的任务与特征等。