《LOGICS OF PROGRAMS》
| 作者 | CLARKE EDMUND AND DEXTER KOZEN 编者 |
|---|---|
| 出版 | Springer-Verlag |
| 参考页数 | 528 |
| 出版时间 | 1984（求助前请核对） |
| ISBN号 | 3540128964 — 求助条款 |
| PDF编号 | 813248998（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1984《LOGICS OF PROGRAMS》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由CLARKE EDMUND AND DEXTER KOZEN 1984 Springer-Verlag 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- MANY-VALUED LOGICS
- 1952 NORTH-HOLLAND PUBLISHING COMPANY
-
- LOGICS FOR ARTIFICIAL INTELLIGENCE
- ELLIS HORWOOD LIMITED
-
- Benefit-cost analysis of government programs
- 1981 Prentice-Hall
-
- TEMPORAL LOGICS AND THEIR APPLICATIONS
- 1987 ACADEMIC PRESS
-
- THE LOGICS OF PARTY FORMATION
- 1989 CORNELL UNIVERSITY PRESS
-
- Model-theoretic logics
- 1985 Springer-Verlag
-
- STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
- 1985 THE MIT PRESS
-
- LOGICS AND LANGUAGES
- 1973 ROUTLEDGE TAYLOR & FRANCIS GROUP
-
- Economic analysis of farm programs
- 1991 McGraw-Hill Inc.
-
- MANAGEMENT OF HUMAN SERVICE PROGRAMS SECOND EDITION
- 1991 BROOKS/COLE PUBLISHING COMPANY
-
- THE INTERPRETATION OF DREAMS A STUDENT'S COMPANION TO THE TEXT
- 1987 TWAYNE PUBLISHERS. BOSTON
-
- PHILOSOPHY OF LOGICS
- 1978 CAMBRIDGE UNIVERSITY PRESS
-
- NON-STANDARD LOGICS FOR AUTOMATED REASONING
- 1988 ACADEMIC PRESS
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD