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

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

Combining linear-time temporal logic with constructiveness and paraconsistency

Combining linear-time temporal logic with constructiveness and paraconsistency

Norihiro Kamide; Heinrich Wansing

作者Norihiro Kamide; Heinrich Wansing
卷第8卷
期第1期
印刷ISSN1570-8683
文件大小408.86KB
发表时间2010
DOI10.1016/j.jal.2009.06.001
页码33-61

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