Mathematical theory of partial correctness
- 作者Zohar Manna
- 卷第5卷
- 期第3期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小625.06KB
- 发表时间1971
- DOI10.1016/s0022-0000(71)80035-1
- 页码239-253
同标题推荐
Erratum, Erratum, Erratum, ErratumJournal of Biomolecular Structure and Dynamics · 1985
Erratum to: ErratumLieza M. Danan,Zhihao Yu,Adam J. Hoffhines… · 2010
Erratum to: Erratum2006
Erratum: Erratum2012
Erratum to: ErratumMaurice Lagueux · 1993
Erratum to: ErratumP., Lohmann; M., Rao; M., Ludwig; E., Griese; U., Zanger; K., Mörike; W., Maier; M., Bagli · 2001
Erratum: Erratum2001
Erratum: Printer's erratum1999