×

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

Horn约束系统中只读反驳的精确和参数化算法。 (英语) Zbl 07551727号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13137, 327-345 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份