(美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译2007 年出版284 页ISBN:7111214048
本书是一本介绍数理逻辑的基础教材。
郭鹏飞,韩英仕编著2005 年出版126 页ISBN:7811022222
本书简述结构优化设计的基本理论和方法,概念,数理基础,准则优化法线性规划,非线性规划,动态规划,几何规划,离散变量结构优化设计的搜索算法遗传算法等。...
施鹏飞,姚远编1993 年出版320 页ISBN:7313012411
本书阐述了人工智能语言、搜索原理、知识表示、知识获取和机器学习、演绎和推理、专家系统和人工神经网等内容。