《Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970》
| 作者 | Jrg H.Siekmann; Graham Wrights 编者 |
|---|---|
| 出版 | Springer Berlin Heidelberg |
| 参考页数 | 640 |
| 出版时间 | 1983（求助前请核对） |
| ISBN号 | 9783642819575;9783642819551 — 求助条款 |
| PDF编号 | 814077638（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1983《Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由Jrg H.Siekmann; Graham Wrights 1983 Springer Berlin Heidelberg 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- ETHNO-LOGIC THE ANTHROPOLOGY OF HUMAN REASONING
- 1990 UNIVERSITY OF ILLINOIS PRESS
-
- 苏联大事记 1967-1970
- 1978
-
- Optimization and Computational Logic
- 1996 Wiley-Interscience
-
- Reasoning With Rules An Essay on Legal Reasoning and Its Underlying Logic
- 1997 KLUWER ACADEMIC PUBLISHERS
-
- Selected Logic Papers Enlarged Edition
- 1966 Harvard University Press
-
- The automation of reasoning : an experimenter's notebook with OTTER tutorial
- 1996 Academic Press
-
- REPRESENTING GOD IN WASHINGTON:THE ROLE OF RELIGIOUS LOBBIES IN THE AMERICAN POLITY
- 1988 THE UNIVERSITY OF TENNESSEE PRESS
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD