Automated theorem proving: theory and practice

书目详细资料
主要作者: Newborn, Monty
格式: Printed Book
语言:English
出版: New York Springer 2001
主题:
Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing
实物特征
Item Description: CD ROM available
实物描述:xiii, 229p.
ISBN:0-387-95075-3

相似书籍