×

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

最新 引文 关联
杰根，基督;Jochen Hoenicke公司

切割混合物。 （英语） Zbl 1381.68262号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。计算机科学课堂讲稿9207，37-52（2015）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Christ｝和\textit｛J.Hoenicke｝，Lect。注释计算。科学。9207,37-52（2015；Zbl 1381.68262）
全文： 内政部
阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克

基于SMT的抽象参数时间规划。 （英语） Zbl 1366.68009号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型学报》X。柏林：施普林格出版社（ISBN 978-3-662-48649-8/pbk；978-3-562-48650-4/电子书）。计算机科学9410课堂讲稿。《期刊副刊》，55-83（2015）。
MSC公司：68英里11 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Niewiadomski}和\textit{W.Penczek}，莱克特。注释计算。科学。9410，55-83（2015；Zbl 1366.68009）
全文： 内政部
斯坦利·巴克;波戈莫洛夫，谢尔盖;泰勒·T·约翰逊。

HYST：混合自动机模型的源代码转换和翻译工具。 （英语） Zbl 1364.68244号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。128-133（2015年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。128-133（2015年；Zbl 1364.68244）
全文： 内政部
茨沃尼米尔·帕夫利诺维奇;金，蒂姆;托马斯·怀斯

实用的基于SMT的类型错误定位。 （英语） Zbl 1360.68351号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。412-423 (2015).
MSC公司：68N20型 68甲18 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Pavlinovic｝等人，在：第20届ACM SIGPLAN功能编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。412——423（2015年；兹比尔1360.68351）
全文： 内政部 arXiv公司
马克西米利安·亚罗斯切克;巴勃罗·费德里科·多巴尔;帕斯卡·方丹

采用实量词消除方法进行冲突集计算。 （英语） Zbl 1471.68248号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 151-166 (2015).
MSC公司：68T20型 03B25号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaroschek}等人，Lect。注释计算。科学。9322，151--166（2015；Zbl 1471.68248）
全文： 内政部 arXiv公司 哈尔
艾丽卡·亚伯拉罕

在符号计算和可满足性检查之间架起桥梁。 （英语） Zbl 1345.68279号

第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3435-8）。1-6 (2015).
MSC公司：68瓦30 68吨15 68-02
PDF格式BibTeX公司 XML格式引用
\textit{E.Abraham}，in：第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。1-6（2015；Zbl 1345.68279）
全文： 内政部
丹·罗森;尼古拉斯·斯莫尔博内

提示：电感式校准仪的工具。 （英语） Zbl 1471.68316号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 219-232 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Rosén}和\textit{n.Smallbone}，莱克特。注释计算。科学。9450，219--232（2015；Zbl 1471.68316）
全文： 内政部 链接
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫

重新访问线性整数算法。 （英语） Zbl 1432.68596号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 623-637 (2015).
MSC公司：68瓦30 60年第68季度 68兰特 68伏15 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。9195、623--637（2015年；Zbl 1432.68596）
全文： 内政部 arXiv公司
阿什什·蒂瓦里;阿德里亚·加斯科恩;布鲁诺·杜特雷

使用双重解释的程序综合。 （英语） Zbl 1465.68051号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195482-497（2015年）。
MSC公司：68号30 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.Tiwari}等人，Lect。注释计算。科学。9195482--497（2015；Zbl 1465.68051）
全文： 内政部 链接
彼得·鲍姆加特纳;约书亚·巴克斯;乌韦·沃尔德曼

Beagle–层次叠加定理证明程序。 （英语） Zbl 1465.68277号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 367-377 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}等人，Lect。注释计算。科学。9195，367--377（2015；Zbl 1465.68277）
全文： 内政部
穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特

无量词方程逻辑和素数蕴涵生成。 （英语） Zbl 1465.68280号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 311-325 (2015).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Echenim}等人，Lect。注释计算。科学。9195、311--325（2015；Zbl 1465.68280）
全文： 内政部
彼得·鲍姆加特纳

SMTtoTPTP–定理证明格式的转换器。 （英语） Zbl 1465.68276号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 285-294 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}，莱克特。注释计算。科学。9195285--294（2015年；Zbl 1465.68276）
全文： 内政部
弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆

SMT大鼠：开源C类++用于战略和并行SMT解决的工具箱。 （英语） Zbl 1471.68241号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 360-368 (2015).
MSC公司：68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Corzilius}等人，Lect。注释计算。科学。9340，360-368（2015；Zbl 1471.68241）
全文： 内政部
科恩·克莱森;穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内

提示：大量的归纳问题。 （英语） Zbl 1417.68179号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 333-337 (2015).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Claessen}等人，Lect。注释计算。科学。9150333--337（2015；Zbl 1417.68179）
全文： 内政部 链接
叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫

一阶定理证明和TPTP中的一类布尔排序。 （英语） Zbl 1417.68187号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 71-86 (2015).
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\文本{E.Kotelnikov}等人，Lect。注释计算。科学。9150，71-86（2015年；兹bl 1417.68187）
全文： 内政部 arXiv公司
布鲁金克，H.J.桑德;巴巴拉·科尼格;丹尼斯·诺尔特;汉斯·赞特马

利用半环上的加权型图证明图变换系统的终止性。 （英语） Zbl 1321.68326号

Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151，52-68（2015）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.J.S.Bruggink}等人，Lect。注释计算。科学。9151，52-68（2015；Zbl 1321.68326）
全文： 内政部 arXiv公司
尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科

用于程序验证的Horn子句求解器。 （英语） Zbl 1465.68044号

Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 24-51 (2015).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Björner}等人，Lect。注释计算。科学。9300，24-51（2015；Zbl 1465.68044）
全文： 内政部
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特

莫德二十年。 （英语） Zbl 1321.68007号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲稿9200，232-254（2015）。
MSC公司：68-03 01A65号 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Clavel}等人，Lect。注释计算。科学。9200、232--254（2015；Zbl 1321.68007）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件