×

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

多项:自动验证终止属性(系统描述)。 (英语) Zbl 07614689号

佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 436-447 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用AGES自动生成逻辑模型。 (英语) Zbl 07178982号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 287-299 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件