《COMPU TER SCIENCE LOGIC》求取 ⇩
作者 | M.M.RICHTER 编者 |
---|---|
出版 | SPRINGER |
参考页数 | 399 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 没有确切时间的资料 |
ISBN号 | 无 — 违规投诉 / 求助条款 |
PDF编号 | 812303488(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
《COMPU TER SCIENCE LOGIC》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由M.M.RICHTER SPRINGER 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- Lecture Notes in Computer Science 363 Logic at Botik'89
- 1989 Springer-Verlag
- FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
- 1989 IEEE COMPUTER SOCIETY PRESS
- Logic for computer science : foundations of automatic theorem proving
- 1986 Harper & Row
- THE ART AND SCIENCE OF LOGIC
- 1990 MAYFIELD PUBLISHING COMPANY
- THE LOGIC OF SCIENCE
- 1931 D. APPLETON AND COMPANY
- Mathematical logic for computer science Second Edition
- 1998 World Scientific Pub.Co
- PROBLEMS IN QUANTUM MECHANICS EDITOR D TER HAAR
- 1975 PION LIMITED
- Computer science and multiple-valued logic theory and applications
- 1977 North-Holland Publishing Company
- MATHEMATICAL LOGIC IN COMPUTER SCIENCE
- 1981 NORTH-HOLLAND PUBLISHING COMPANY
- Handbook of Logic in Computer Science Volume 1
- 1992 Chapter authors
- Handbook of Logic in Computer Science Volume 2
- 1992 Chapter authors
- Linguistic Science And Logic
- 1963 Morton & Co
- Proceedings Eight Annual IEEE Symposium on Logic in Computer Science
- 1993 IEEE Computer Society Press
- Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
- 1982 Springer-Verlag
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD