《Deduction: Automated Logic》
作者 | Wolfgang Bibel 编者 |
---|---|
出版 | Academic Press |
参考页数 | 254 |
出版时间 | 1993(求助前请核对) |
ISBN号 | 9780120958351;012095835X — 求助条款 |
PDF编号 | 814077668(仅供预览,未存储实际文件) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |

1993《Deduction: Automated Logic》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由Wolfgang Bibel 1993 Academic Press 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
-
- Controlling Automated Manufacturing Systems
- 1986 Koga Page Ltd
-
- AUTOMATED OFFICE SYSTEMS MANAGEMENT
- JOHN WILEY & SONS
-
- DATABASE SECOND EDITION
- 1990年 JOHN WILEY & SONS
-
- Proof theory and automated deduction
- 1997 Kluwer Academic
-
- Deduction Systems (Texts in Computer Science)
- 1996 Springer
-
- Automated theorem proving
- 1982 F. Vieweg
-
- Pages de journal 1925-1971
- 1988 Mercure de France
-
- AUTOMATED IMMUNOANALYSIS PART 1
- 1978 MARCEL DEKKER INC
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD