×

找到3个文档(结果1-3)

动态认知逻辑的终止表。 (英语) Zbl 1345.03029号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262141-156(2010)。
MSC公司:03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份

主字段