Institutional Repository
| Computability and completeness in logics of programs (Preliminary Report) | |
| D. Harel; A. R. Meyer; V. R. Pratt | |
| 1977 | |
| Language | 中文 |
| Content Type | 其他 |
| URI | http://ir.iscas.ac.cn/handle/311060/1222 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | D. Harel,A. R. Meyer,V. R. Pratt. Computability and completeness in logics of programs (Preliminary Report). 1977-01-01. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 117261.pdf（675KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment