×

找到15个文档（结果1-15）

最新 引文 相关性
詹姆斯·加里奇奥;Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

KeYmaera X的隐式定义和微分方程（系统描述）。 （英语） Zbl 07628218号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 723-733 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Gallicchio}等人，Lect。注释计算。科学。13385，723--733（2022；Zbl 07628218）
全文： 内政部 arXiv公司
弗莱德里克·吉尔伯特

自动构造证明。 （英语） Zbl 1486.03025号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203，480-495（2017年）。
MSC公司：03B35型 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{F.吉尔伯特}，莱克特。注释计算。科学。102032480-495（2017年；兹比尔1486.03025）
全文： 内政部 哈尔
拉斐尔·考德利埃;凯瑟琳·杜布瓦

ML模式匹配、递归和重写：从FoCaLiZe到Dedukti。 （英语） Zbl 1482.68267号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 459-468 (2016).
MSC公司：68伏15 68甲15 68N20型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Cauderlier｝和\textit｛C.Dubois｝，Lect。注释计算。科学。9965，459--468（2016；Zbl 1482.68267）
全文： 内政部 哈尔
皮埃尔·哈尔马格兰德

使用类型序列演算对B方法进行了合理的证明。 （英语） Zbl 1482.68270号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 196-213 (2016).
MSC公司：68伏15 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Halmagrand}，莱克特。注释计算。科学。9965196-213（2016；Zbl 1482.68270）
全文： 内政部 哈尔
纪尧姆·伯里;大卫·德拉哈耶

单纯形与表格集成。 （英语） Zbl 1471.68304号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323，86-101（2015）。
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bury}和\textit{D.Delahaye}，Lect。注释计算。科学。9323，86-101（2015；Zbl 1471.68304）
全文： 内政部 链接
米兰妮·杰奎尔;卡里姆·贝尔卡尼;大卫·德拉哈耶;凯瑟琳·杜布瓦

使用深度嵌入和自动定理证明验证B证明规则。 （英语） Zbl 1350.68236号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041，253-268（2011）。
MSC公司：68吨15 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jacquel}等人，Lect。注释计算。科学。7041253--268（2011年；Zbl 1350.68236）
全文： 内政部
莱斯库耶，圣菲;Sylvain Conchon公司

使用惰性CNF转换方案改进Coq命题推理。 （英语） Zbl 1193.68225号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，287-303（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Lescuyer}和\textit{S.Conchon}，莱克特。注释计算。科学。5749287--303（2009年；Zbl 1193.68225）
全文： 内政部
卡利埃、马蒂厄;凯瑟琳·杜布瓦

焦点环境中的功能测试。 （英语） Zbl 1138.68440号

Beckert，Bernhard（编辑）等人，《测试与证明》。第二届国际会议，2008年4月9日至11日，意大利普拉托，TAP 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79123-2/pbk）。计算机科学课堂讲稿4966，84-98（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Carlier｝和\textit｛C.Dubois｝，Lect。注释计算。科学。4966、84-98（2008年；Zbl 1138.68440）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件