Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con

下载此书RAR压缩包在线购买PDF电子书

TPHOLs 20072007 年出版400 页ISBN：9783540745907

Lecture Notes in Computer Science 4723 Advances in Intelligent Data Analysis VII 7th International S

下载此书RAR压缩包在线购买PDF电子书

IDA 20072007 年出版380 页ISBN：9783540748243

Lecture Notes in Computer Science 4016 Advances in Web-Age Information Management 7th International

下载此书RAR压缩包在线购买PDF电子书

WAIM 20062006 年出版606 页ISBN：3540352252

Lecture Notes in Computer Science 3739 Advances in Web-Age Information Management 6th International

下载此书RAR压缩包在线购买PDF电子书

WAIM 20052005 年出版930 页ISBN：3540292276

Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con

下载此书RAR压缩包在线购买PDF电子书

TPHOLs 20052005 年出版409 页ISBN：3540283722

Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy

下载此书RAR压缩包在线购买PDF电子书

IDA 20052005 年出版522 页ISBN：3540287957

Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International

下载此书RAR压缩包在线购买PDF电子书

WAIM 20042004 年出版753 页ISBN：3540224181

Lecture Notes in Computer Science 3498 Advances in Neural Networks-ISNN 2005 Second International Sy

下载此书RAR压缩包在线购买PDF电子书

Jun Wang2005 年出版1077 页ISBN：

Lecture Notes in Artificial Intelligence 3847 Federation Over The Web International Workshop

下载此书RAR压缩包在线购买PDF电子书

2006 年出版215 页ISBN：3540310185

Lecture Notes in Computer science 3566 Unconventional Programming Paradigms International Workshop U

下载此书RAR压缩包在线购买PDF电子书

2005 年出版367 页ISBN：3540278842