×

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

最新 引文 关联
佩特拉·霍佐娃;劳拉·科瓦奇;大通诺曼;安德烈·沃伦科夫

饱和状态下的程序合成。 （英语） Zbl 07838494号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 307-324 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Hozzová}等人，Lect。注释计算。科学。14132307--324（2023；Zbl 07838494）
全文： 内政部 arXiv公司
杰里·斯旺;史蒂文·阿德里安森;亚历山大·E·I·布朗利。;凯文·哈蒙德;科林·约翰逊。;艾哈迈德·凯里;福斯蒂纳·克劳伊克;梅雷洛，J.J。;莱安德罗·L·明库。;恩德·奥兹坎;吉赛尔·帕帕。;巴勃罗·加西亚·桑切斯;肯尼思·索伦森;沃·斯特凡;马库斯·瓦格纳;大卫·R·怀特。

“大范围”的元启发式。 （英语） Zbl 1487.90651号

欧洲药典。物件。 297，第2号，393-406（2022）.
MSC公司：90 C59 90-08
PDF格式BibTeX公司 XML格式引用
\textit{J.Swan}等人，《欧洲药典》。第297号决议，第2号，393--406（2022年；Zbl 1487.90651）
全文： 内政部 arXiv公司
OA许可证
mnesc博士，Isabela;都铎Jebelean

AlCons公司：中排序算法的演绎合成枣灰蝶属. （英语） Zbl 07500651号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 314-333 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}和\textit{T.Jebelean}，莱克特。注释计算。科学。12819、314--333（2021；Zbl 07500651）
全文： 内政部
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;谢尔盖，伊利亚

带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759110-134（2021）。
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053）
全文： 内政部
OA许可证
杰克·休斯;多米尼克·乌节

从分级线性类型进行有资源的程序合成。 （英语） Zbl 07496646号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 151-170 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Hughes}和\textit{D.Orchard}，莱克特。注释计算。科学。12561、151--170（2021；Zbl 07496646）
全文： 内政部
OA许可证
Nummelin，维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇

与一级布尔的叠加和处理中子句化。 （英语） Zbl 07437090号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 378-395 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{V.Nummelin}等人，Lect。注释计算。科学。12699378-395（2021年；兹bl 0743790）
全文： 内政部
OA许可证
安德烈亚斯·休姆伯格;劳拉·科瓦奇

循环及其不变量的基于代数的合成（特邀论文）。 （英语） Zbl 1472.68036号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 17-28 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Humenberger}和\textit{L.Kovács}，莱克特。注释计算。科学。12597，17-28（2021；Zbl 1472.68036）
全文： 内政部 arXiv公司
Pit-Claudel，Clément公司;王鹏;特拉华州，本杰明;杰森·格罗斯;亚当·奇利帕拉

具有外部函数、手动管理内存和证明的高效命令式程序的可扩展提取。 （英语） Zbl 07614665号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 119-137 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Pit-Claudel}等人，Lect。注释计算。科学。12167119-137（2020；Zbl 07614665）
全文： 内政部
安德烈亚科斯蒂亚;朱，艾米;纳迪亚·波里卡波娃;伊利亚·谢尔盖

简明的只读规范，用于更好地综合带有指针的程序。 （英语） Zbl 1508.68056号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 141-168 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Costea}等人，Lect。注释计算。科学。12075、141--168（2020年；Zbl 1508.68056）
全文： 内政部 arXiv公司
OA许可证
阿贝尔·迪乌布;斯特凡妮娅·科斯坦蒂尼;弗朗西丝卡·莉西。

逻辑编程和机器伦理。 （英语） Zbl 07455700号

Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）325，6-17（2020）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Dyoub}等人，《电子》。程序。理论。计算。科学。（EPTCS）325，6--17（2020；Zbl 07455700）
全文： arXiv公司 链接
mnesc博士，Isabela;都铎Jebelean

基于多集的二叉树合并和插入算法的自动综合枣灰蝶属. （英语） Zbl 07441067号

Slamanig，Daniel（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 153-168 (2020).
MSC公司：68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}和\textit{T.Jebelean}，莱克特。注释计算。科学。11989、153--168（2020；Zbl 07441067）
全文： 内政部
Stickel，Mark E。

建立定理证明器。 （英语） Zbl 1250.68235号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，306-321（2009）。
MSC公司：68吨15 03B35型 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Stickel}，莱克特。注释计算。科学。5663、306--321（2009年；Zbl 1250.68235）
全文： 内政部
艾米·费尔蒂;道格拉斯·豪

战术定理证明与细化树证明和元变量。 （英语） Zbl 1433.68546号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第12届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 605-619 (1994).
MSC公司：68伏15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Felty｝和\textit｛D.Howe｝，Lect。注释计算。科学。814605--619（1994年；Zbl 1433.68546）
全文： 内政部
沃伦科夫，A.A。;德格蒂亚雷夫，A.I。

自动定理证明。二、。 （英语。俄文原件） Zbl 0648.68098号

控制论 23, 547-556 (1987); 译自Kibernetika 1987年，第4期，第88-95页，第108页（1987年）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Voronkov｝和\textit｛A.I.Degtyarev｝，《控制论》23547-556（1987；Zbl 0648.68098）；译自Kibernetika 1987年，第4期，第88-95期，第108期（1987年）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件