《Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 Internat》
| 作者 | 编者 |
|---|---|
| 出版 | North-Holland |
| 参考页数 | 574 |
| 出版时间 | 1993（求助前请核对） |
| ISBN号 | 0444898808 — 求助条款 |
| PDF编号 | 813186268（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1993《Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 Internat》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1993 North-Holland 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- Graph theory and its applications: East and West proceedings of the First China-USA International Gr
- 1989 New York Academy of Sciences
-
- The Theory of Lie Derivatives and Its Applications
- North-Holland Publishing Co.
-
- THE FOURIER INTEGRAL AND CERTAIN OF ITS APPLICATIONS
- 1933 AT THE UNIVERSITY PRESS
-
- Logic and machines decision problems and complexity: Proceedings of the Symposium
- 1984 Springer-Verlag
-
- Using sophisticated models in resolution theorem proving
- 1980 SpringerVerlag
-
- Intensional and higher-order modal logic : with applications to Montague semantics
- 1975 North Holland Pub. Co. ; New York : American Elsevier Pub. Co.
-
- Logic for computer science : foundations of automatic theorem proving
- 1986 Harper & Row
-
- The Science of hardness testing and its research applications
- 1973 American Society for Metals
-
- THE EDUCATIONAL SYSTEM ITS NATURE AND LOGIC
- 1992 MCGRAW-HILL INC
-
- THE NEW HEAT THEOREM ITS FOUNDATIONS IN THEORY AND EXPERIMENT
- 1926 METHUEN AND CO. LTD.
-
- THE CASIMIR EFFECT AND ITS APPLICATIONS
- 1997 CLARENDON PRESS
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD