编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoning
Hermann, Miki (EDT)/ Voronkov, Andrei (EDT)
Springer-Verlag New York Inc
出版时间：2006-12
出版社：Springer-Verlag New York Inc
作者：Hermann, Miki (EDT)/ Voronkov, Andrei (EDT)
页数：588
图书封面
下载链接
编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoningPDF格式下载