×

找到1668个文档（结果1-100）

最新的 引文 关联
凯文·巴扎德

电脑的意义是什么？这是一个纯粹数学家的问题。 （英语） Zbl 07821721号

Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第2卷。全体演讲。柏林：欧洲数学学会（EMS）。578-608（2023年）。
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Buzzard}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第2卷。全体演讲。柏林：欧洲数学学会（EMS）。578--608（2023；Zbl 07821721）
全文： 内政部 arXiv公司
OA许可证
凯文·洛茨；米贾·库尔琴斯基；德克·诺沃特卡；波尔森，丹尼·博格斯特德；安德斯·施利奇特克鲁尔

验证验证：Isabelle中字符串的SMT-LIB。 （英语） Zbl 07810935号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 206-217 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lotz}等人，Lect。票据计算。科学。14151，206-217（2023；Zbl 07810935）
全文： 内政部
是的，埃里克；布里兰·希塔吉；萨姆·奥雷；梅纳·奎梅纳；Natarajan Shankar

CoProver:一种证明结构的推荐系统。 （英语） Zbl 07810735号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 237-251 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Yeh}等人，Lect。票据计算。科学。14101237--251（2023；Zbl 07810735）
全文： 内政部 arXiv公司
阿比德·西亚尔·阿卜杜勒·哈利姆；Prathmesh，T.V.H。；什韦塔·拉吉夫；里希·维亚斯

Isabelle/HOL中自由群的形式化：Nielsen-Schreier定理和共轭问题。 （英语） Zbl 07810730号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 158-173 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{A.S.A.Kharim}等人，Lect。票据计算。科学。14101、158--173（2023；Zbl 07810730）
全文： 内政部
马可·B·卡米纳。

原始表示定理的Isabelle形式化。 （英语） Zbl 07810726号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 98-112 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{M.B.Caminat}，莱克特。票据计算。科学。14101、98——112（2023；Zbl 07810726）
全文： 内政部 arXiv公司
Stephen Chong先生；拉诺特，拉格罗；马西莫·梅罗；西蒙·蒂尼；向、健

网络物理系统传感器攻击的定量稳健性分析。 （英语） Zbl 07807961号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Chong}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号文件，第12页（2023；Zbl 07807961）
全文： 内政部
亚历山大·斯蒂恩；杰夫·萨特克利夫；托拜厄斯·斯科尔；克里斯托夫·本兹穆勒

通过转换为高阶逻辑来解决模态逻辑问题。 （英语） 兹比尔1528.68393

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第14156页，第25-43页（2023年）。
MSC公司：68伏15 03B45
PDF格式BibTeX公司 XML格式引用
\textit{A.Steen}等人，Lect。票据计算。科学。14156，25-43（2023；Zbl 1528.68393）
全文： 内政部 arXiv公司
阿希姆·D·布鲁克。；艾米·斯特尔

在Isabelle/HOL中验证前馈神经网络的分类。 （英语） Zbl 1529.68154号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 427-444 (2023).
MSC公司：60年第68季度 68T07型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Brucker}和\textit{A.Stell}，莱克特。票据计算。科学。14000，427--444（2023；Zbl 1529.68154）
全文： 内政部
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 68甲19 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。票据计算。科学。14000，301-320（2023；Zbl 1529.68177）
全文： 内政部
费边·鲍尔·马尔夸特；斯特凡·洛伊；克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） 兹比尔1529.68152

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。票据计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
埃文格洛·奥斯特，纳索斯；卡勒姆·班尼斯特；伊恩·海耶斯。

分布式系统中的上下文。 （英语） Zbl 07728632号

Glück，Roland（编辑）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13896，52-68（2023年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Evangelou-Oost}等人，Lect。票据计算。科学。13896，52-68（2023；Zbl 07728632）
全文： 内政部 arXiv公司
埃德蒙兹，切尔西；Angeliki Koutsoukou-Argyraki；劳伦斯·C·鲍尔森。

Isabelle/HOL中关于算术级数的Szemerédi正则引理和Roth定理的形式化。 （英语） Zbl 07695705号

J.汽车。推理 67，第1号，第2号论文，21页（2023年）.
MSC公司：68伏15 05立方厘米35 17年5月 第11页81 03B35型 68伏15 68V20型 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{C.Edmonds}等人，J.Autom。推理67，第1号，论文2，21页（2023；Zbl 07695705）
全文： 内政部 arXiv公司
伊戈尔·科诺夫；玛丽亚娜·拉齐奇；伊利娜·斯托伊尔科夫斯卡；约瑟夫·威德

阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号

日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095）
全文： 内政部 arXiv公司
马丁·马丁，恩里克；黑山，曼努埃尔；阿德里安·里斯科；胡安·罗德里格斯·霍塔拉；鲁本·卢比奥

使用可执行规范语言验证ROS NavFn规划器。 （英语） Zbl 07665444号

J.日志。阿尔盖布。方法计划。 132，文章ID 100860，23 p.（2023）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{E.Martin-Martin}等人，J.Log。阿尔盖布。方法程序。132，文章ID 100860，23 p.（2023；Zbl 07665444）
全文： 内政部
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；约翰·加拉赫（John P.Gallagher）。；曼努埃尔五世（Manuel V.Hermenegildo）。；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
兰吉特·贾拉

嵌入式领域特定验证器。 （英语） Zbl 1528.68227号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 535-553 (2022).
MSC公司：60年第68季度 68甲18 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Jhala}，莱克特。票据计算。科学。13660、535--553（2022年；Zbl 1528.68227）
全文： 内政部
米德勒，尼尔斯；托比亚斯·尼普科

Isabelle/HOL中的\（\mathrm{B}^+\）树的验证实现。 （英语） Zbl 07719840号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13572, 324-341 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Mündler}和\textit{T.Nipkow}，Lect。票据计算。科学。13572，324--341（2022；Zbl 07719840）
全文： 内政部 arXiv公司
戴维·巴恩斯；蒂鲍特·达迪尼尔；尼科·豪泽；卢卡斯·海姆斯；韦尔塔·y·穆尼夫，乔纳森·朱利安；尼古拉斯·卡莱奇；Sr Djan Krstić；埃马努埃莱·马西卡诺；马丁·拉西克；Schneider，约书亚；蒂罗尔，达维特·莱格塞；德米特里·特拉泰尔；希拉·辛格

VeriMon：正式验证的监控工具。 （英语） Zbl 07719820号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13572, 1-6 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。票据计算。科学。13572，1--6（2022；Zbl 07719820）
全文： 内政部
赫马斯潘德拉，伊迪丝；大卫·E·纳瓦兹（David E.Narváez）。

NFA等价的形式化方法：QBF、见证提取和编码验证。 （英语） Zbl 07691303号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 241-255 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Hemaspandra}和\textit{D.E.Narváez}，莱克托。票据计算。科学。13467，241--255（2022；Zbl 07691303）
全文： 内政部
卡林·麦肯齐；费边·胡奇；詹姆斯·沃恩；雅克·弗莱里奥特

重新想象伊莎贝尔的正式证据档案。 （英语） Zbl 07691297号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 162-167 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\文本{C.MacKenzie}等人，Lect。票据计算。科学。13467162-167（2022年；兹bl 07691297）
全文： 内政部
费边·胡奇

形式实体图作为复杂网络：评估形式证明档案的中心性度量。 （英语） Zbl 07691296号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 147-161 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Huch}，莱克特。票据计算。科学。13467，147--161（2022；Zbl 07691296）
全文： 内政部
塞拉诺·苏亚雷斯、法比安·费尔南多；毛里西奥·阿亚拉·林科恩；德利马，塔纳拉·阿里利

有限集可数族的霍尔定理。 （英语） Zbl 07691293号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 107-121 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{F.F.Serrano Suárez}等人，Lect。票据计算。科学。13467，107-121（2022；Zbl 07691293）
全文： 内政部
劳伦斯·C·鲍尔森。

韦策尔：与连续体假设相关的不可判定问题的形式化。 （英语） Zbl 07691292号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 92-106 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。票据计算。科学。13467，92-106（2022；兹bl 07691292）
全文： 内政部 arXiv公司
福恩市长，大卫；塞拉诺·苏亚雷斯、法比安·费尔南多

在简单类型理论中对计算逻辑的基本拓扑进行形式化。 （英语） Zbl 07691290号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 56-74 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Fuenmayor}和\textit{F.Serrano Suárez}，莱克特。票据计算。科学。13467，56-74（2022；Zbl 07691290）
全文： 内政部
恰兰·邓恩；威尔斯，J.B。

Isabelle/HOL/GST：广义集合理论的形式证明环境。 （英语） Zbl 07691289号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 38-55 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Dunne}和\textit{J.B.Wells}，莱克特。票据计算。科学。13467，38-55（2022；Zbl 07691289）
全文： 内政部 arXiv公司
埃利夫·丹尼斯；阿德南·拉希德；奥斯曼·哈桑；索菲涅·塔哈尔

关于HOL中热传导问题的形式化。 （英语） Zbl 07691288号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 21-37 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit｛E.Deniz｝等人，Lect。票据计算。科学。13467，21-37（2022；兹bl 07691288）
全文： 内政部 arXiv公司
塞巴斯蒂安·古泽尔

mathlib中积分变量变化公式的形式化。 （英语） Zbl 07691287号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 3-18 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Gouézel}，莱克特。票据计算。科学。13467，3-18（2022；Zbl 07691287）
全文： 内政部 arXiv公司 哈尔
拉瓦尼亚·辛格

自动康德伦理学：忠实的实现。 （英语） Zbl 1522.68442号

Bergmann，Ralph（编辑）等人，KI 2022：人工智能的进展。2022年9月19日至23日在德国特里尔举行的第45届德国人工智能会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13404, 187-208 (2022).
MSC公司：68T01型 03A05号 03B45 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{L.Singh}，莱克特。票据计算。科学。13404，187--208（2022；Zbl 1522.68442）
全文： 内政部 arXiv公司
马可·曼托瓦尼；阿尔贝托·莫米利亚诺

面向基于子结构特性的测试。 （英语） Zbl 1521.68035号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13290, 92-112 (2022).
MSC公司：68号30 03B47号 68甲15 第68季度55 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit｛M.Mantovani｝和\textit｛A.Momigliano｝，Lect。票据计算。科学。13290，92-112（2022；Zbl 1521.68035）
全文： 内政部 arXiv公司 链接
Lopez Pombo，Carlos G。；阿古斯汀·埃洛伊·马丁内斯·苏涅

在独立于语言的环境中集成演绎和模型发现。 （英语） Zbl 07633799号

Nazareno Aguirre等人，《软件工程的数学基础》，纪念汤姆·迈鲍姆70岁生日和退休之际的论文。2019年2月16日至17日在阿根廷里约库亚托举行的联合国红十字会国际研讨会的贡献。伦敦：学院出版物。致敬45，22-59（2022）。
MSC公司：68新元
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Lopez Pombo}和\textit{A.E.Martinez Suñé}，《致敬》45，22-59（2022；Zbl 07633799）
全文： arXiv公司
理查德·施莫滕；杰克·E·帕尔默（Jake E.Palmer）。；雅克·弗莱里奥特。

在Isabelle/HOL中，将Schutz的Minkowski时空公理形式化。 （英语） Zbl 1511.68331号

J.汽车。推理 66，编号4，953-988（2022）; 更正同上，67，第1号，第9号论文，第1页（2023年）。
MSC公司：68伏15 68V20型 83A05号
PDF格式BibTeX公司 XML格式引用
\textit{R.Schmoetten}等人，J.Autom。推理66，No.4，953--988（2022；Zbl 1511.68331）
全文： 内政部 arXiv公司
安德烈·波佩斯库

绑定语法的重排和基于重命名的递归。 （英语） Zbl 07628212号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 618-639 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Popescu}，莱克特。票据计算。科学。13385、618--639（2022；Zbl 07628212）
全文： 内政部 arXiv公司
Jelle Piepenbrock；汤姆·海斯克斯；米科拉什，雅诺塔；约瑟夫·乌尔班

用神经重写指导自动定理证明器。 （英语） Zbl 1512.68427号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 597-617 (2022).
审核人：Truong Hoang Le（北纬ội）
MSC公司：68伏15 20号05 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Piepenbrock}等人，Lect。票据计算。科学。13385、597--617（2022年；Zbl 1512.68427）
全文： 内政部
什特·潘·霍卢布；拉什卡，马丁；什蒂·潘·斯塔罗斯塔

不保留原始性的二进制代码。 （英语） Zbl 07628199号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 369-387 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Š.Holub}等人，Lect。票据计算。科学。13385，369--387（2022；Zbl 07628199）
全文： 内政部 arXiv公司
哈尼尔·巴博萨；安德鲁·雷诺兹；基里恩·克莱默；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特

在工业级SMT解决方案中进行灵活的验证生产。 （英语） Zbl 07628179号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 15-35 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}等人，Lect。票据计算。科学。13385，15--35（2022；Zbl 07628179）
全文： 内政部
Gilles Dowek

从数学真理的普遍性到证明系统的互操作性。 （英语） Zbl 07628178号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 8-11 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，莱克特。票据计算。科学。13385，8--11（2022；Zbl 07628178）
全文： 内政部
Yutaka长岛

定义量词通过归纳实现语义推理以供证明。 （英语） Zbl 1514.68311号

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13361, 48-66 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nagashima}，莱克特。票据计算。科学。13361、48-66（2022年；Zbl 1514.68311）
全文： 内政部 arXiv公司
阿里·法贾米

使用Isabelle/HOL的Kratzer模态语义实验。 （英语） Zbl 07582521号

廖北水（编）等，新一代人工智能逻辑。第二届国际研讨会，中国珠海，2022年6月10日至12日。伦敦：学院出版物。36-42 (2022).
MSC公司：03B35型 03B45 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Farjami}，in：新一代人工智能的逻辑。第二届国际研讨会，中国珠海，2022年6月10-12日。伦敦：学院出版物。36-42（2022；Zbl 07582521）
Michikazu Hirata；Minamide、Yasuhiko；佐藤，铁杉

Isabelle/HOL中高阶概率程序的程序逻辑。 （英语） Zbl 07570114号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13215, 57-74 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Hirata}等人，Lect。票据计算。科学。13215，57-74（2022；Zbl 07570114）
全文： 内政部
Angeliki Koutsoukou-Argyraki；李文达；劳伦斯·C·鲍尔森。

Isabelle/HOL中无穷级数的非理性和超越准则。 （英语） Zbl 1518.11003号

实验数学。 31，编号2，401-412（2022）.
审核人：Alexandra Shlapentkh（格林维尔）
MSC公司：11-04 11时81分 11J68型 68V20型 03B35型 68伏35
PDF格式BibTeX公司 XML格式引用
\textit｛A.Koutsukou Argyraki｝等人，实验数学。31，第2号，401-412（2022；Zbl 1518.11003）
全文： 内政部 arXiv公司
乔治·斯特凡·施密德；维克托·库恰克

不锈钢框架的通用阵列。 （英语） Zbl 1498.68172号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 332-354 (2022).
MSC公司：60年第68季度 03B70号 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.S.Schmid}和\textit{V.Kunčak}，莱克特。票据计算。科学。13182、332--354（2022；Zbl 1498.68172）
全文： 内政部 链接
吉登·恩斯特

使用不变量和契约进行循环验证。 （英语） Zbl 1498.68074号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 69-92 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Ernst}，莱克特。票据计算。科学。13182，69-92（2022；Zbl 1498.68074）
全文： 内政部 arXiv公司
埃里克·威瑟；歌曲，器物

在Lean中形式化几何代数。 （英语） Zbl 1494.68307号

高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 32，第3号，第28号论文，第26页（2022年）.
审核人：埃克哈德·希策（东京）
MSC公司：68V20型 11E88型 15A66型 15A67型
PDF格式BibTeX公司 XML格式引用
\textit｛E.Wieser｝和\textit｛U.Song｝，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。32，第3号，第28号论文，第26页（2022年；Zbl 1494.68307）
全文： 内政部 arXiv公司
反向链接： 卫生官员
马可·马格西；布罗吉·科西莫·佩里尼

可证明逻辑的模态完整性的形式证明。 （英语） Zbl 07699443号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第26条，第18页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Maggesi}和\textit{B.C.Perini}，LIPIcs——莱布尼茨国际程序。通知。193，第26条，第18页（2021；Zbl 07699443）
全文： 内政部 arXiv公司
安德烈亚斯·洛赫比勒

可数网络最大流最小割定理的机械化证明。 （英语） Zbl 07699442号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第25条，第18页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Lochbihler}，LIPIcs——莱布尼茨国际程序。通知。193，第25条，第18页（2021；Zbl 07699442）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件