Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna

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

LOPSTR 20062007 年出版236 页ISBN：9783540714095

Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

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

TPHOLs 20012001 年出版394 页ISBN：354042525X

Lecture Notes in Artificial Intelligence 4371 Computational Logic in Multi-Agent Systems 7th Interna

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

CLIMAA VII Hakodate2222 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna

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

CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：

Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

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

2002 年出版218 页ISBN：3540433767

Lecture Notes in Computer Science 4620 Transactions on Aspect-Oriented Software Development III

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

2007 年出版201 页ISBN：9783540751618

Lecture Notes in Computer Science 4242 Transactions on Aspect-Oriented Software Development II

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

2006 年出版289 页ISBN：9783540488903

Lecture Notes in Computer Science 3880 Transactions on Aspect-Oriented Software Development I

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

2006 年出版335 页ISBN：3540329722

Lecture Notes in Computer Science 4640 Transactions on Aspect-Oriented Software Development IV

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

2007 年出版191 页ISBN：9783540770411

electronic aspects of ciochemistry lectronic aspects of ciochemistry

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

2222 年出版0 页ISBN：