书籍 Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear的封面

Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear

出版社

Spinger-Verlag

出版时间

2004

ISBN

3540221522

标注页数

539 页

PDF页数

551 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书