×

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

最新的 引文 关联
徐向哲；吴金华；王玉婷；尹振国；李鹏飞

指令编码器和解码器的自动生成和验证。 （英语） Zbl 1493.68223号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 728-751 (2021).
MSC公司：60年第68季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{X.Xu}等人，Lect。票据计算。科学。12760728--751（2021年；Zbl 1493.68223）
全文： 内政部
Cezary卡利西克；Pak，卡罗尔

声明性证明翻译（短文）。 （英语） Zbl 07649984号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019年；Zbl 07649984）
全文： 内政部
恩里科·塔西

导出Coq ELPI中已证明的等式检验：Coq中容器的更强归纳原理。 （英语） Zbl 07649978号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第29条，第18页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{E.Tassi}，LIPIcs——莱布尼茨国际程序。通知。141，第29条，第18页（2019年；Zbl 07649978）
全文： 内政部
卡洛斯·阿雷塞斯；丹尼尔·戈林

未分类的功能翻译。 （英语） Zbl 1347.03037号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278，3-16（2011）。
MSC公司：03B45 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}和\textit{D.Gorín}，电子。注释Theor。计算。科学。278、3-16（2011年；Zbl 1347.03037）
全文： 内政部
托马斯·福尔曼

正式方法在汽车行业中的作用。 （英语） Zbl 1189.93101号

Ramesh，S.（编辑）等人，分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格（ISBN 978-1-4020-6253-7/hbk）。175 (2007).
MSC公司：93C85号 93A30型 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{T.Fuhrman}，in：分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会论文集，印度班加罗尔，2007年1月。多德雷赫特：施普林格。175（2007年；Zbl 1189.93101）
全文： 内政部
安纳托利·德吉亚列夫；安德烈·沃伦科夫

基于序列的计算中的等式推理。 （英语） Zbl 1011.03004号

Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；0-444-50812-0（第二卷）；0-444-50813-9（套））。611-706 (2001).
审核人：N.Zamov（喀山）
MSC公司：03B35型 68吨15 2002年3月 68-02
PDF格式BibTeX公司 XML格式引用
\textit｛A.Degtyarev｝和\textit｛A.Voronkov｝，《自动化推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。611--706（2001年；Zbl 1011.03004）
乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。

使用分辨率测试模态可满足性并建立模型。 （英语） Zbl 0984.03012号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 459-483 (2000).
审核人：U.Schöning（乌尔姆）
MSC公司：03B35型 03B45
PDF格式BibTeX公司 XML格式引用
\textit{U.Hustadt}和\textit{R.A.Schmidt}，前面。Artif公司。智力。申请。63、459--483（2000；Zbl 0984.03012）
施米特，斯蒂芬；克里斯托夫·克里茨

删除证据重建中的冗余。 （英语） Zbl 0909.03016号

de Swart，Harrie（编辑），用分析表和相关方法进行自动推理。1998年5月5日至8日，荷兰Oisterwijk，1998年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1397, 262-276 (1998).
审核人：M.P.博纳西纳（爱荷华州市）
MSC公司：03B35型 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{S.Schmitt}和\textit{C.Kreitz}，莱克特。票据计算。科学。1397、262--276（1998年；Zbl 0909.03016）
德米特里夫，V.I。（编辑）；D.奥拉赫。（编辑）；Zhogolev，E.A.公司。（编辑）；T·马库什。（编辑）
[K·瓦尔奈。；于库切夫斯基。五、。；加利莫夫，Y.Y。；M.哈马里。；兰托什，K。；T·马库什。；E.N.帕斯金。]

编程。莫斯科国立大学科学研究计算中心和布达佩斯大学计算中心的作品。（项目编号：Mirovanie，Trudy Nauchno-Issledovatel’scogo Vychislitel’nogo Tsentra Moskovskogo Gosudarstennogo Universiteta i Budapeshtskogo Universitets科戈Vychilsitel’no Tsentra.）。 （英语） Zbl 0421.68008号

布达佩斯：布达佩思大学咨询中心。67页（1978年）。
MSC公司：68新元 68-02
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件