《Automated Theorem Proving:A Logical Basis》
| 作者 | DONALD W.LOVELAND 编者 |
|---|---|
| 出版 | ELSEVIER NORTH-HOLLAND INC |
| 参考页数 | 405 |
| 出版时间 | 1978（求助前请核对） |
| ISBN号 | 无 — 求助条款 |
| PDF编号 | 818088178（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1978《Automated Theorem Proving:A Logical Basis》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由DONALD W.LOVELAND 1978 ELSEVIER NORTH-HOLLAND INC 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- MATHEMATICAL METHODS IN NUCLEAR REACTOR DYNAMICS
- 1971 ACADEMIC PRESS
-
- PROVING PROGRAMS CORRECT
- JOHN WILEY & SONS
-
- Endocrinology : A logical approach for clinicians
- 1987 Mcgraw-hill international editions
-
- A Reader on choosing an automated library system
- 1983 American Library Association
-
- A SOCIAL BASIS OF EDUCATION
- 1935 THOMAS Y.CROWELL COMPANY
-
- What is a logical system?
- 1994 Clarendon Press
-
- Using sophisticated models in resolution theorem proving
- 1980 SpringerVerlag
-
- Logic for computer science : foundations of automatic theorem proving
- 1986 Harper & Row
-
- SHOCK A PHYSIOLOGIC BASIS FOR TREATMENT
- 1971 YEAR BOOK MEDICAL PUBLISHERS INC
-
- A NEW ENGLISH GRAMMAR LOGICAL AND HISTORICAL
- 1958 OXFORD UNIVERSITY PRESS
-
- FROM A LOGICAL PONT OF VIEW
- 1980 COPYRIGHT
-
- THE LOGICAL BASIS OF EDUCATIONAL THEORY FROM THE STANDPOINT OF “INSTRUMENTAL” LOGIC
- 1908 THE UNIVERSITY OF CHICAGO PRESS
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD