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

相似書籍