×

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

高阶并发约束编程的基础。 (英语) Zbl 1495.68044号

Jouannaud,Jean-Pierre(编辑),计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。845, 50-72 (1994).
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段