×

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

最新的 引文 关联
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃龙科夫

自动推理的归纳基准。 （英语） Zbl 1485.68281号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 124-129 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Hajdu}等人，Lect。注释计算。科学。12833124-129（2021年；兹比尔1485.68281）
全文： 内政部 链接
亨利克·劳科;彼得·罗奇凯;JiříBarnat

通过程序转换进行符号计算。 （英语） Zbl 1518.68055号

Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 313-332 (2018).
MSC公司：68号30 68N20型 第68季度第60季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Lauko}等人，Lect。注释计算。科学。11187313--332（2018；Zbl 1518.68055）
全文： 内政部 arXiv公司
扎卡里亚·奇哈尼;布鲁诺·玛丽;弗朗索瓦·博伯特;塞巴斯蒂安·巴丁

位向量理论的锐化约束规划方法。 （英语） Zbl 1489.68249号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 3-20 (2017).
MSC公司：68T20型 第68季度第60季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Chihani}等人，Lect。注释计算。科学。10335，3--20（2017；Zbl 1489.68249）
全文： 内政部 链接
王伟;克拉克·巴雷特;托马斯·怀斯

用于程序分析的分区内存模型。 （英语） Zbl 1484.68054号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 539-558 (2017).
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{W.Wang}等人，Lect。注释计算。科学。10145539--558（2017年；Zbl 1484.68054）
全文： 内政部
查克拉波蒂，苏普拉特克;阿舒托什古普塔;拉胡尔·贾恩

位向量公式中的匹配乘法。 （英语） Zbl 1484.68098号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第10145131-150页（2017）。
MSC公司：第68季度第60季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，Lect。注释计算。科学。10145131-150（2017；Zbl 1484.68098）
全文： 内政部 arXiv公司
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜

带有数组的程序的惰性抽象的一种扩展，带有插值。 （英语） Zbl 1317.68107号

形式方法系统。设计。 45，第1期，63-109（2014）.
MSC公司：第68季度第60季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，《形式方法系统》。设计。45，编号1，63--109（2014；Zbl 1317.68107）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件