发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?
Hirokazu Nishimura
- 作者Hirokazu Nishimura
- 卷第8卷
- 期第1期
- 印刷ISSN0022-3611
- 电子ISSN1573-0433
- 文件大小84.52KB
- 发表时间1979-01
- DOI10.1007/bf00258444
- 页码477-478
← 返回【学霸图书馆】主页