×

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

定时真空。 (英语) Zbl 1460.68055号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 438-455 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

合成非真空系统。 (英语) Zbl 1484.68096号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 55-72 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在有序集合中寻找边界元素,并将其应用于安全和需求分析。 (英语) Zbl 1390.68177号

De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。2016年7月4日至8日,作为2016年STAF的一部分,在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763121-136(2016)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格自动机中的固有真空。 (英语) Zbl 1465.68178号

Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9300, 174-192 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于空洞真理的概念。 (英语) Zbl 1137.68438号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,2-14(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段