×

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

如何赢得具有功能的游戏。 (英语) Zbl 1495.68045号

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

无限树的等式约束和成员约束。 (英语) Zbl 1503.68041号

克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。690, 106-120 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段