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

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

Sequent-based logical argumentation

Sequent-based logical argumentation

Arieli, Ofer; Straßer, Christian
  • 期刊名称Argument & Computation
  • 作者Arieli, Ofer; Straßer, Christian
  • 卷第6卷
  • 期第1期
  • 印刷ISSN1946-2166
  • 电子ISSN1946-2174
  • 文件大小426.97KB
  • 发表时间2015-01-02
  • DOI10.1080/19462166.2014.1002536
  • 页码73-99
← 返回【学霸图书馆】主页