书籍 Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere的封面

Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere

IJCAR 2004

出版社

Springer-Verlag

出版时间

2004

ISBN

3540223452

标注页数

492 页

PDF页数

508 页

书籍介绍

在线购买PDF电子书

此书压缩包下载地址1 （224 MB）

此书压缩包下载地址2 （224 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书