《Automated Reasoning with Analytic Tableaux and Related Methods》
作者 | 编者 |
---|---|
出版 | 未查询到或未知 |
参考页数 | 341 |
出版时间 | 没有确切时间的资料 |
ISBN号 | 3540439293 — 求助条款 |
PDF编号 | 811495548(仅供预览,未存储实际文件) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |

《Automated Reasoning with Analytic Tableaux and Related Methods》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
-
- Calculus With Analytic Geometry
- 1985 McGraw-Hill Book Company
-
- CALCULUS WITH ANALYTIC GEOMETRY
- 1965 APPLETON-CENTURY-CROFTS
-
- Calculus with analytic geometry
- 1969 Macmillan
-
- Calculus with analytic geometry
- 1978 Academic Press
-
- CALCULUS WITH ANALYTIC GEOMETRY
- 1985 ADDISON-WESLEY
-
- Reasoning With Rules An Essay on Legal Reasoning and Its Underlying Logic
- 1997 KLUWER ACADEMIC PUBLISHERS
-
- Young tableaux with applications to representation theory and geometry
- 1997 Cambridge University Press
-
- CALCULUS WITH ANALYTIC GEOMETRY
- 1994 WM.C.BROWN PUBLISHERS
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD