发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Temporal logic programming

Temporal logic programming

Martín Abadi; Zohar Manna

作者Martín Abadi; Zohar Manna
卷第8卷
期第3期
印刷ISSN0747-7171
电子ISSN1095-855X
文件大小1030.34KB
发表时间1989
DOI10.1016/s0747-7171(89)80070-7
页码277-295

← 返回【学霸图书馆】主页