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

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

PDL for ordered trees

PDL for ordered trees

Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
  • 期刊名称Journal of Applied Non-Classical Logics
  • 作者Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
  • 卷第15卷
  • 期第2期
  • 印刷ISSN1166-3081
  • 电子ISSN1958-5780
  • 文件大小207.07KB
  • 发表时间2005-01
  • DOI10.3166/jancl.15.115-135
  • 页码115-135
← 返回【学霸图书馆】主页