《Logic programming operational semantics and proof theory》
| 作者 | James H. Andrews 编者 |
|---|---|
| 出版 | Cambridge University Press |
| 参考页数 | 104 |
| 出版时间 | 1992（求助前请核对） |
| ISBN号 | 052160754X — 求助条款 |
| PDF编号 | 813902868（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1992《Logic programming operational semantics and proof theory》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由James H. Andrews 1992 Cambridge University Press 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- LOGIC PROGRAMMING
- 1982 ACADEMIC PRESS INC.
-
- PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
- JOHN SILEY AND SONS
-
- PROGRAMMABLE LOGIC CONTROLLERS:OPERATION INTERFACING AND PROGRAMMING
- 1988 PRENTICE HALL
-
- Basic proof theory
- 1996 Cambridge University Press
-
- Proof theory
- 1977 SpringerVerlag
-
- Proof theory and automated deduction
- 1997 Kluwer Academic
-
- Mathematical logic and programming languages
- 1985 Prentice/Hall International
-
- CATEGORICAL LOGIC AND TYPE THEORY
- 1999 ELSEVIER
-
- MEANING AND NECESSITY A STUDY IN SEMANTICS AND MODAL LOGIC
- 1947 THE UNIVERSITY OF CHCAGO PRESS
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD