×

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

最新的 引文 关联
亚历山德罗·阿巴特；哈尼尔·巴博萨；克拉克·巴雷特；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林；安德鲁·雷诺兹；塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） 兹伯利07702725

J.汽车。推理 67，第2号，第19号论文，第25页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725）
全文： 内政部
mnesc博士，Isabela；艾丽卡·阿尔布拉汉姆；都铎Jebelean；加博尔·库斯珀；斯特拉图拉特，索林

在课堂上进行自动推理实验。 （英语） Zbl 07691306号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}等人，Lect。注释计算。科学。13467，287--304（2022；Zbl 07691306）
全文： 内政部 哈尔
乍得·E·布朗。；塞萨里·卡利西克

间隙1.0（系统描述）。 （英语） Zbl 07628197号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 350-358 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛C.E.Brown｝和\textit｛C.Kaliszyk｝，Lect。注释计算。科学。13385，350-358（2022；Zbl 07628197）
全文： 内政部 arXiv公司
亨德里克·莱丁格；克里斯托夫·韦登巴赫

SCL（EQ）：SCL表示等式的一阶逻辑。 （英语） Zbl 07628190号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 228-247 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛H.Leidinger｝和\textit｛C.Weidenbach｝，Lect。注释计算。科学。13385、228--247（2022；Zbl 07628190）
全文： 内政部 arXiv公司
亚历山大一世，科恩·里弗斯。；吕文龙；拉苏尔·图图诺夫；王志；安托万·格罗斯尼特；瑞安·里斯·格里菲斯；亚历山大·马克斯·马拉瓦尔；郝建业；王军；简·彼得斯；海塔姆·布阿马尔

HEBO公司：突破高效采样超参数优化的极限。 （英语） 兹比尔07566012

J.人工制品。智力。研究（JAIR） 74, 1269-1349 (2022).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Cowen-Rivers}等人，J.Artif。智力。决议（JAIR）741269-1349（2022；兹bl 07566012）
全文： 内政部 arXiv公司
朱塞佩·德贾科莫；保罗·费利；布赖恩·洛根；法比奥·帕特里齐；塞巴斯蒂安·萨迪尼亚

具有一阶状态表示的制造系统中控制器综合的情形演算。 （英语） Zbl 1481.93036号

Artif公司。智力。 302，文章ID 103598，30 p.（2022）.
MSC公司：93亿B50 90B30型 93-04 90-04年
PDF格式BibTeX公司 XML格式引用
\textit{G.De Giacomo}等人，Artif。智力。302，文章ID 103598，30 p.（2022；Zbl 1481.93036）
全文： 内政部 链接
奥斯卡·卡斯蒂略；路易斯·罗德里格斯

一种新的基于物理学弦论范式的元神经优化算法。 （英语） Zbl 1482.68002号

施普林格应用科学与技术简介计算智能。查姆：施普林格（ISBN 978-3-030-82287-3/pbk；978-3-0.30-82288-0/ebook）。viii，71页。(2022).
MSC公司：68-02 90-02 68T20型 68层37 81T30型 90 C59 93立方厘米 93C85号
PDF格式BibTeX公司 XML格式引用
\textit｛O.Castillo｝和\textit｛L.Rodriguez｝，一种基于物理学弦论范式的新的元启发式优化算法。查姆：施普林格（2022；Zbl 1482.68002）
全文： 内政部
克里斯托夫·本兹穆勒；福恩市长，大卫

Isabelle/HOL中以价值为导向的法律论证。 （英语） Zbl 07699424号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第7条，第20页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{D.Fuenmayor}，LIPIcs——莱布尼茨国际程序。通知。193，第7条，20 p.（2021；Zbl 07699424）
全文： 内政部
波士顿，布雷特；塞缪尔·布雷斯；乔伊·多兹；多兹，迈克；布赖恩·霍夫曼；亚当·佩彻；安德烈·斯特凡内斯库

已验证每个人的密码。 （英语） Zbl 1493.68206号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 645-668 (2021).
MSC公司：60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Boston｝等人，Lect。注释计算。科学。12759645--668（2021年；Zbl 1493.68206）
全文： 内政部
福恩市长，大卫；亚历山大·斯蒂恩

使用定理证明进行论证框架分析的灵活方法。 （英语） Zbl 1484.68228号

廖北水（编辑）等，新一代AI 2021的逻辑。第一次国际研讨会，LNGAI 2021，2021年6月18日至20日，中国杭州。伦敦：学院出版物。18-32 (2021).
MSC公司：68T27型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Fuenmayor}和\textit{A.Steen}，in：新一代AI 2021的逻辑。第一次国际研讨会，LNGAI 2021，2021年6月18日至20日，中国杭州。伦敦：学院出版物。18-32（2021年；Zbl 1484.68228）
马库斯·拉贝。；克里斯蒂安·塞格迪

走向自动数学家。 （英语） Zbl 1510.68116号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 25-37 (2021).
审核人：Truong Hoang Le（北纬ội）
MSC公司：68伏15 68T05型 68T50型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Rabe}和\textit{C.Szegedy}，莱克特。注释计算。科学。12699，25-37（2021；Zbl 1510.68116）
全文： 内政部
侯哲

逻辑和计算基础。具有实用的自动推理和验证功能。 （英语） Zbl 1489.68002号

计算机科学中的文本查姆：施普林格（ISBN 978-3-030-87881-8/hbk；978-3-0.30-87882-5/电子书）。x、 第221页。(2021).
审核人：马可·贝尼尼（科莫）
MSC公司：68-01 03-01 60年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\文本{Z.Hou}，逻辑和计算基础。具有实用的自动推理和验证功能。查姆：施普林格（2021；Zbl 1489.68002）
全文： 内政部
雷纳尔德·阿弗尔德；雅克·加里格；大卫·诺瓦克；高福美斋川

具有概率和不确定性的公理推理的可靠单子。 （英语） Zbl 1493.03004号

J.功能。程序。 31，论文编号e17，38 p.（2021）.
审核人：亚历山大·戈伊（里昂）
MSC公司：03B70号 03B35型 68甲18 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Affeldt}等人，J.Funct。程序。31，论文编号e17，38 p.（2021；Zbl 1493.03004）
全文： 内政部 arXiv公司
坎通纳，多梅尼科；玛丽安娜·尼科洛西·阿斯蒙多；丹尼尔·弗朗西斯科·桑塔马利亚

一种改进的基于集合的描述逻辑推理器{数字图书馆}_\mathrm{D}^{4，\times\dagger}\）。 （英语） Zbl 1497.68545号

芬丹。通知。 178，编号4，315-346（2021）.
MSC公司：68伏15 03E30年 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Fundam。通知。178，编号4，315--346（2021；Zbl 1497.68545）
全文： 内政部
伊琳娜·马卡伦科；克里斯托夫·本兹穆勒

正自由高阶逻辑及其通过语义嵌入的自动化。 （英语） Zbl 1519.68256号

Schmid，Ute（编辑）等人，《KI 2020：人工智能的进展》。第43届德国人工智能会议，德国班贝格，2020年9月21日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12325, 116-131 (2020).
MSC公司：68T27型 03A05号 03B16号 03B60号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{I.Makarenko}和\textit{C.Benzmüller}，莱克特。注释计算。科学。12325116-131（2020年；Zbl 1519.68256）
全文： 内政部
亚历山大·克努佩尔；英加贾兹科夫斯基；马库斯·诺尔特；托马斯·图姆；托拜厄斯·隆格；伊娜·谢弗

基于技能的网络物理系统验证。 （英语） Zbl 1507.68093号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 203-223 (2020).
MSC公司：68号30 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\文本{A.Knüppel}等人，Lect。注释计算。科学。12076203-223（2020；Zbl 1507.68093）
全文： 内政部
托默·利巴尔；亚历山大·斯蒂恩

实现法律文本形式化的可执行方法。 （英语） Zbl 07578366号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，2020年4月6日至9日，中国杭州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 151-165 (2020).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Libal}和\textit{A.Steen}，莱克特。注释计算。科学。12061，151--165（2020；Zbl 07578366）
全文： 内政部
托默·利巴尔

法律文本的元级注释语言。 （英语） Zbl 07578365号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，2020年4月6日至9日，中国杭州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 131-150 (2020).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Libal}，莱克特。注释计算。科学。12061、131-150（2020；Zbl 07578365）
全文： 内政部
克里斯托夫·本兹穆勒；家长，Xavier；范德托雷，利安德特

为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） 兹比尔1493.68286

Artif公司。智力。 287，文章ID 103348，28 p.（2020）.
MSC公司：68T01型 03A05号 03B16号 03B35型 03B45号 68T27型 68立方英尺 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286）
全文： 内政部 arXiv公司
克里斯托夫·本兹穆勒；福恩市长，大卫

哥德尔本体论论证变体中的积极性质、超滤和模态坍塌的计算机支持分析。 （英语） Zbl 1461.03021号

牛市。第节。日志。，大学后勤部。 49，第2期，127-148（2020年）.
MSC公司：03B45号 03B35型 03-08
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{D.Fuenmayor}，公牛。第节。日志。，大学后勤部。49，第2号，127--148（2020；Zbl 1461.03021）
全文： 内政部 arXiv公司
亚当·格拉博夫斯基

通过计算机辅助证明建立一个粗包含函数框架。 （英语） Zbl 1527.68224号

Mihálydeák，Tamás（编辑）等人，《粗糙集》。2019年6月17日至21日在匈牙利德布勒森举行的2019年国际JCRS联合会议，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11499, 225-238 (2019).
MSC公司：68层37 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Grabowski}，莱克特。注释计算。科学。11499225-238（2019年；兹比尔1527.68224）
全文： 内政部
莎拉·温克勒

延长最大完成时间。 （英语） Zbl 1528.68168号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第3条，第15页（2019年）。
MSC公司：2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}，LIPIcs——莱布尼茨国际程序。通知。131，第3条，第15页（2019年；Zbl 1528.68168）
全文： 内政部
吉拉·汉娜（编辑）；大卫·A·里德。（编辑）；迈克尔·德维利尔斯（编辑）

数学研究和教学中的证明技术。 （英语） Zbl 1451.97008号

数字时代的数学教育14.商会：施普林格出版社（ISBN 978-3-030-28482-4/hbk；978-3-030-28485-5/pbk；978-3-030-28483-1/电子书）。viii，第379页。(2019).
MSC公司：2006年7月 97单位50 97E50型 68伏15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{G.Hanna}（编辑）等，《数学研究和教学中的证明技术》。查姆：施普林格（2019；Zbl 1451.97008）
全文： 内政部 链接
黄，裴；刘明浩；葛存静；马，菲菲；张健

通过满意度测试研究正交高尔夫设计的存在性。 （英语） Zbl 1467.81076号

Bradford，Russell（编辑），第44届符号和代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15日至18日。纽约州纽约市：计算机协会（ACM）。203-210 (2019).
MSC公司：81T20型 68伏15 05B15号
PDF格式BibTeX公司 XML格式引用
\textit{P.Huang}等人，in：第44届符号与代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15日至18日。纽约州纽约市：计算机协会（ACM）。203-210（2019年；Zbl 1467.81076）
全文： 内政部
福恩市长，大卫；克里斯托夫·本兹穆勒

计算解释学：对自然语言论证进行逻辑分析的综合方法。 （英语） Zbl 07229671号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，187-207 (2019).
MSC公司：68伏15 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{D.Fuenmayor}和\textit{C.Benzmüller}，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。187-207（2019；Zbl 07229671）
全文： 内政部
戴维·特娜·库卡拉；伯纳多·昆卡·格劳；伊恩·霍洛克斯

15年的基于结果的推理。 （英语） Zbl 1444.68192号

Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。11560, 573-587 (2019).
MSC公司：68T27型 68立方英尺 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Tena Cucala}等人，Lect。注释计算。科学。11560573--587（2019年；Zbl 1444.68192）
全文： 内政部
卡塔琳娜·布里茨；伊万·瓦尔津扎克

上下文不可行的首选表\（\mathcal｛ALC｝\）。 （英语） Zbl 1435.68312号

Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 39-57 (2019).
MSC公司：68T27型 68立方英尺 68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛K.Britz｝和\textit｛I.Varzinczak｝，Lect。注释计算。科学。11714、39-57（2019年；Zbl 1435.68312）
全文： 内政部
塔内尔·塔米特

GKC：大型知识库的推理系统。 （英语） Zbl 07178997号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 538-549 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Tammet}，莱克特。注释计算。科学。11716、538--549（2019；Zbl 07178997）
全文： 内政部
克里斯蒂安·斯特纳格尔；莎拉·温克勒

通过有序完成证明等式推理。 （英语） Zbl 07178995号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 508-525 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{S.Winkler}，莱克特。注释计算。科学。11716、508-525（2019；Zbl 07178995）
全文： 内政部
佐尔坦科瓦奇；帕维尔·佩奇

轨迹方程计算中在假设中自动包含一些非简并条件的实验。 （英语） Zbl 1428.68343号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 140-154 (2019).
MSC公司：68伏15 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}和\textit{P.Pech}，莱克特。注释计算。科学。11617、140-154（2019年；Zbl 1428.68343）
全文： 内政部
佩德罗·卡巴拉尔；斯特凡妮娅·科斯坦蒂尼；乔瓦尼·德·加斯佩里斯；安德烈亚·福米萨诺

动态环境中的多控制系统。 （英语） 兹比尔1485.68246

安。数学。Artif公司。智力。 86，编号1-3，87-120（2019）.
MSC公司：68T27型 68立方英尺 68层35 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Cabalar｝等人，Ann.Math。Artif公司。智力。86，编号1--3，87-120（2019；Zbl 1485.68246）
全文： 内政部 arXiv公司
托拜厄斯·格莱纳；亚历山大·斯蒂恩

MET：用形式进行灵活推理的艺术。 （英语） Zbl 1518.68416号

Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 274-284 (2018).
MSC公司：68伏15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{T.Gleißner}和\textit{A.Steen}，莱克特。注释计算。科学。11092，274--284（2018；Zbl 1518.68416）
全文： 内政部
弗拉基米尔·巴甫洛夫；瓦迪姆·帕克

鲸鱼证明器：基于逆方法的一阶直觉主义定理证明器。 （英语） Zbl 1461.68247号

Petrenko，Alexander K.（编辑）等人，《系统信息学的观点》。2017年6月27日至29日在俄罗斯莫斯科举行的第十一届国际安德烈·埃尔肖夫信息学会议，《2017年防扩散安全倡议》。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10742322-336（2018年）。
MSC公司：68伏15 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Pavlov}和\textit{V.Pak}，莱克特。注释计算。科学。10742、322--336（2018；Zbl 1461.68247）
全文： 内政部
托马斯·雷西奥；森德拉·J·拉斐尔；卡洛斯·维拉里诺

零的重要性。 （英语） Zbl 1467.13060号

Arreche，Carlos（编辑），第43届符号和代数计算国际研讨会论文集，ISSAC 2018，美国纽约，2018年7月16日至19日。纽约州纽约市：计算机协会（ACM）。327-333 (2018).
MSC公司：第13页，共15页 12-08 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，摘自：《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。327--333（2018年；Zbl 1467.13060）
全文： 内政部
克里斯托夫·本兹穆勒；阿里·法贾米；家长，Xavier

HOL中的二元道义逻辑。 （英语） 兹伯利1418.03069

Broersen，Jan（编辑）等人，《道义逻辑和规范体系》。第14届国际会议，2018年7月3日至6日，荷兰乌得勒支，DEON 2018。诉讼程序。伦敦：学院出版物。33-49 (2018).
MSC公司：03B45号 03B15号机组 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，in：道义逻辑和规范体系。第14届国际会议，2018年7月3-6日，荷兰乌得勒支，DEON 2018。诉讼程序。伦敦：学院出版物。33-49（2018；Zbl 1418.03069）
格雷斯，伯恩哈德；劳拉·科瓦奇；西蒙·罗比拉德

通过迭代量化进行循环分析。 （英语） Zbl 1415.68146号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 381-399 (2018).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Gleiss}等人，EPiC Ser。计算。57、381--399（2018年；Zbl 1415.68146）
全文： 内政部 链接
朱利亚·辛多尼；佐野胜彦；约翰·G·斯特尔。

公理化离散空间关系。 （英语） 兹比尔1518.68367

Desharnais，Jules（编辑）等人，《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11194, 113-130 (2018).
MSC公司：68T27型 03B45号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Sindoni}等人，Lect。注释计算。科学。11194113-130（2018年；Zbl 1518.68367）
全文： 内政部 链接
洛佩斯·埃尔南德斯（Lopez Hernandez）、朱利奥·塞萨尔（Julio Cesar）；康斯坦丁·科洛文

用于大型理论推理的抽象再定义框架。 （英语） 兹比尔1511.68326

Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 663-679 (2018).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Lopez Hernandez}和\textit{K.Korovin}，莱克特。注释计算。科学。10900，663--679（2018；Zbl 1511.68326）
全文： 内政部 链接
亚历山大·克努佩尔；托马斯·图姆；卡斯滕·伊曼纽尔·帕迪拉；伊娜·谢弗

理解演绎验证的参数：KeY的实证调查。 （英语） Zbl 1511.68317号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 342-361 (2018).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。10895、342--361（2018年；Zbl 1511.68317）
全文： 内政部
Jan Jakubuv公司；塞萨里·卡利西克

实现基于叠加的自动推理的统一排序。 （英语） Zbl 1395.68248号

Davenport，James H.（编辑）等人，《数学软件–ICMS 2018》。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。计算机科学课堂讲稿10931245-254（2018）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Jakubuv}和\textit{C.Kaliszyk}，莱克托。注释计算。科学。10931245--254（2018；Zbl 1395.68248）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件