大拱桥--暨南大学学生门户 » 图书馆 » 自动化系统理论 » Formal methods in artificial intelligence
名称 Formal methods in artificial intelligence
索引号 TP11/E9022
分类号 TP11
TP11(自动化系统理论)
TP1(自动化-基础理论)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Delahaye、 Jean-Paul.、
出版社 London North Oxford Academic Pub. Ltd New York : Wiley, c1987.
ISBN
页数 vii, 205 p. ; 24 cm.
价格
标签
简介
注解 "A Halsted Press book." "Based on a course of lectures given at the University of Lille"--Foreword. Translation of: Outils logiques pour l'intelligence artificielle. 附註 Includes bibliographies.