LOGIC AND DISCRETE MATHEMATICS A COMPUTER SCIENCE PERSPECTIVE

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

1996 年出版750 页ISBN：

LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE

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

1990 年出版169 页ISBN：3540527346;0387527346

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

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

2004 年出版539 页ISBN：3540221522

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

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

2002 年出版218 页ISBN：3540433767

LOGIC FROM COMPUTER SCIENCE

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

1992 年出版608 页ISBN：0387976671

MATHEMATICAL LOGIC IN COMPUTER SCIENCE

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

1981 年出版758 页ISBN：0444854401

Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop

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

CSL 20052005 年出版567 页ISBN：3540282319

Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop

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

CSL 20062006 年出版627 页ISBN：3540454586

Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop

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

CSL 20042004 年出版671 页ISBN：3540230246

SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE 1987

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

2222 年出版361 页ISBN：