×

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

约束求解技术的组合:代数观点。 (英语) Zbl 1503.03014号

项洁(编辑),重写技术与应用。第六届国际会议,RTA-95,德国凯泽斯劳滕,1995年4月5-7日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。914, 352-366 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不统一的组合技术和决策问题。 (英语) Zbl 1503.03013号

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

筛选结果依据…

文档类型

出版年份

主字段