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

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

The comparison of the expressive power of first-order dynamic logics

The comparison of the expressive power of first-order dynamic logics

A.P. Stolboushkin; M.A. Taitslin

作者A.P. Stolboushkin; M.A. Taitslin
卷第27卷
印刷ISSN0304-3975
文件大小1445.76KB
发表时间1983
DOI10.1016/0304-3975(83)90099-3
页码197-209

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