Logic for Programming, Artificial Intelligence, and Reasoning编程、人工智能与推理用逻辑学
Geoff Sutcliffe
湖北辞书出版社
出版时间：2006-1
出版社：湖北辞书出版社
作者：Geoff Sutcliffe
页数：742
图书封面
下载链接
Logic for Programming, Artificial Intelligence, and Reasoning编程、人工智能与推理用逻辑学PDF格式下载