《Types for Proofs and Programs》
| 作者 | 编者 |
|---|---|
| 出版 | 未查询到或未知 |
| 参考页数 | 243 |
| 出版时间 | 没有确切时间的资料 |
| ISBN号 | 无 — 求助条款 |
| PDF编号 | 819539648（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
《Types for Proofs and Programs》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- ALGEBRA OF PROOFS
- 1978
-
- RHEOLOGICAL MEASUREMENT SECOND EDITION
- 1998 CHAPMAN & HALL
-
- Proofs and types
- 1997 Springer-Verlag
-
- Introduction to mathematical structures and proofs
- 1996 Jones and Bartlett Publishers
-
- TRS-80 Programs And Applications For The Color Computer
- 1982 Reston Publishing Company Inc
-
- INTEGRATING COMPUTER PROGRAMS FOR ENGINEERING ANALYSIS AND DESIGN
- 1983 AIAA 21ST AEROSPACE SCIENCES MEETING
-
- Machine proofs in geometry : automated production of readable proofs for geometry theorems
- 1994 World Scientific
-
- STRUCTURED ENRICHMET PROGRAMS FOR COUPLES AND FAMILIES
- 1987 COPYRIGHT
-
- MATHEMATICAL THINKING PROBLEM-SOLVING AND PROOFS
- 1997 PRENTICE HALL
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD