×

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

最新 引文 关联
罗尔夫·法格伯格;克里斯托夫·弗拉姆;丹尼尔·默克尔;菲利普·彼得斯;彼得·斯塔德勒（Peter F.Stadler）。

关于重建化学反应网络的复杂性。 （英语） 1320.80005兹罗提

数学。计算。科学。 7，第3期，275-292（2013）.
MSC公司：80A50型 05C65号 05C90年 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Fagerberg}等人，《数学》。计算。科学。7，第3号，275--292（2013；Zbl 1320.80005）
全文： 内政部 arXiv公司
丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥

基于SMT的阵列不变量生成。 （英语） Zbl 1426.68056号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 169-188 (2013).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Larraz}等人，Lect。注释计算。科学。7737，169--188（2013；Zbl 1426.68056）
全文： 内政部
辛西娅·科普;直纪西田

带逻辑约束的术语重写。 （英语） Zbl 1398.68276号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。人工智能课堂讲稿，343-358（2013）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kop}和\textit{N.Nishida}，莱克特。注释计算。科学。8152、343--358（2013年；Zbl 1398.68276）
全文： 内政部
克拉克·巴雷特;斯特凡·德姆里;Deters，摩根

见证柜台机器的运行。 （英语） Zbl 1397.68122号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，120-150（2013）。
MSC公司：60年第68季度 03B44号 03英尺30英寸 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，Lect。注释计算。科学。8152120-150（2013年；兹bl 1397.68122）
全文： 内政部 哈尔
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜

数组理论中加速关系的可定义性及其应用。 （英语） Zbl 1397.68121号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，23-39（2013）。
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，Lect。注释计算。科学。8152，23-39（2013；Zbl 1397.68121）
全文： 内政部 arXiv公司
塞巴斯蒂安·荣格斯;乌尔里奇·洛普;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆

基于Gröbner基的可满足性-模理论求解实数。 （英语） Zbl 1398.68696号

Muntean，Traian（编辑）等人，《代数信息学》。2013年9月3日至6日，第五届国际会议，CAI 2013，法国Porquerolles。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40662-1/pbk）。计算机科学课堂讲稿8080186-198（2013）。
MSC公司：68瓦30 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，Lect。注释计算。科学。8080186--198（2013年；Zbl 1398.68696）
全文： 内政部 链接
普拉纳夫·腾杜卡尔;彼得·波普拉夫科;奥德·马勒

对称破缺用于多核上的多标准映射和调度。 （英语） Zbl 1390.68154号

Braberman，Víctor（编辑）等人，《定时系统的形式化建模和分析》。第11届国际会议，FORMATS 2013，阿根廷布宜诺斯艾利斯，2013年8月29日至31日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40228-9/pbk）。计算机科学课堂讲稿8053，228-242（2013）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.Tendulkar}等人，Lect。注释计算。科学。8053、228--242（2013；Zbl 1390.68154）
全文： 内政部
拉胡尔·夏尔马;沙特古普塔;巴拉斯·哈里哈兰;亚历克斯·艾肯;梁佩西;阿迪蒂亚·诺里。

代数循环不变量的数据驱动方法。 （英语） Zbl 1381.68061号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792574-592（2013）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Sharma}等人，Lect。注释计算。科学。7792、574--592（2013年；Zbl 1381.68061）
全文： 内政部
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔

bv2epr：将无量词位向量公式多项式转换为EPR的工具。 （英语） Zbl 1382.68217号

Bonacina，Maria Paola（编辑），自动扣款–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，443-449（2013）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Kovásznai}等人，Lect。注释计算。科学。7898443-449（2013年；兹比尔1382.68217）
全文： 内政部
高思春;孔顺浩;埃德蒙·克拉克（Edmund M.Clarke）。

dReal：一个SMT解算器，用于实域上的非线性理论。 （英语） Zbl 1381.68268号

Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。《人工智能讲义》，208-214（2013）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Gao}等人，Lect。注释计算。科学。7898，208--214（2013；Zbl 1381.68268）
全文： 内政部
莱昂纳多·德·莫拉;帕斯莫尔，格兰特·奥尼

SMT解决中的战略挑战。 （英语） 兹比尔1383.68084

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，15-44（2013）。
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛L.de Moura｝和\textit｛G.O.Passmore｝，Lect。注释计算。科学。7788，15-44（2013；Zbl 1383.68084）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件