×

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

最新的 引文 关联
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）
全文： 内政部
德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;安德烈亚·博尔赫斯·艾弗拉尔;毛里西奥·阿亚拉·林科恩

PVS中环理论的形式化。同构定理，主理想、素理想和极大理想，中国余数定理。 （英语） Zbl 1493.68389号

J.汽车。推理 65，第8期，1231-1263（2021）.
审核人：菲利波·努乔（圣埃蒂安）
MSC公司：68版本20 03B35型 第13页99 2016年05月 20号02 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.A.de Lima}等人，J.Autom。推理65，No.8，1231--1263（2021；Zbl 1493.68389）
全文： 内政部
卢卡·蒂门斯;Dana S.斯科特。;克里斯托夫·本兹穆勒;米罗斯拉夫·本达

计算机支持的类模型分类公理化探索。 （英语） Zbl 1509.68328号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12062, 302-317 (2020).
MSC公司：68版本20 03B35型 03C07号机组 03C99号 18甲15 2018年11月20日
PDF格式BibTeX公司 XML格式引用
\textit{L.Tiemens}等人，Lect。注释计算。科学。12062、302-317（2020年；Zbl 1509.68328）
全文： 内政部 arXiv公司
Mirai池沼

通过同源方法获得的重写规则数的下限。 （英语） Zbl 1528.18011号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第24条，第17页（2019年）。
MSC公司：18世纪15年代 2012年第68季度 20J05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ikebuchi}，LIPIcs——莱布尼茨国际程序。通知。131，第24条，第17页（2019年；Zbl 1528.18011）
全文： 内政部
迈克尔·基扬;罗伯特·弗罗夫;彼得·沃伊特乔夫斯基

具有阿贝尔内部映射群的循环：自动演绎的应用。 （英语） Zbl 1383.68077号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，151-164（2013）。
MSC公司：68吨15 03B35型 20号05
PDF格式BibTeX公司 XML格式引用
\textit{M.Kinyon}等人，Lect。注释计算。科学。7788，151--164（2013；Zbl 1383.68077）
全文： 内政部 arXiv公司
乔昂·阿劳乔;Janusz Konieczny公司

一种为半群类寻找新公理集的方法。 （英语） Zbl 1262.20059号

架构（architecture）。数学。逻辑 51，第5-6号，461-474（2012）.
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：2007年7月20日 20号02 2005年 08B05号 20平方米 08A02级 03C05号机组 20个M10
PDF格式BibTeX公司 XML格式引用
\textit{J.Araüjo}和\textit{J.Konieczny}，Arch。数学。逻辑51，No.5--6，461--474（2012；Zbl 1262.20059）
全文： 内政部 链接
Ondřej，克里马;利波·波拉克

恒等式问题、方程的可解性以及与群的多样性相关的各种半群的统一。 （英语） Zbl 1349.20046号

Kuich，Werner（编辑）等人，《计算机科学中的代数基础》。在西蒙·博扎帕里迪斯退休之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-24896-2/pbk）。《计算机科学讲义》7020、214-227（2011）。
MSC公司：2007年7月20日
PDF格式BibTeX公司 XML格式引用
\textit｛O.Klíma｝和\textit｛L.Polák｝，Lect。注释计算。科学。7020、214--227（2011；Zbl 1349.20046）
全文： 内政部
Tour男孩，蒂埃里

根据语义对称性进行分组计算的地面分辨率。 （英语） Zbl 1412.68211号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1104, 478-492 (1996).
MSC公司：68吨15 20B40码
PDF格式BibTeX公司 XML格式引用
\textit{T.Boy de la Tour}，莱克特。注释计算。科学。1104478-492（1996年；Zbl 1412.68211）
全文： 内政部
史蒂夫·林顿;乌苏拉·马丁;佩特·普勒;邓肯·沙德

代数和自动演绎。 （英语） Zbl 1412.68242号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1104, 448-462 (1996).
MSC公司：68吨15 20-04 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.Linton}等人，Lect。注释计算。科学。110448--462（1996年；Zbl 1412.68242）
全文： 内政部
乌苏拉·马丁

定理证明：示例和问题。 （英语） 兹比尔1412.68243

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1104, 358-372 (1996).
MSC公司：68吨15 20F05型 2010年1月20日 2012年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。1104358-372（1996年；Zbl 1412.68243）
全文： 内政部
张汉涛

证明群同构定理（扩展抽象）。 （英语） Zbl 1508.68410号

Rusinovitch，Michaöl（编辑）等人，《条件项重写系统》。第三届国际研讨会，CTRS-92，Pont-a-Mousson，法国，1992年7月8-10日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。656, 302-306 (1993).
MSC公司：68伏15 2010年1月20日 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}，莱克特。注释计算。科学。656302--306（1993年；Zbl 1508.68410）
全文： 内政部
张汉涛

完成模分配和交换群的案例研究。 （英语） Zbl 1503.68297号

克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。690, 32-46 (1993).
MSC公司：68伏15 03B35型 17-08 2017年05月 20-08 20K99美元 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}，莱克特。注释计算。科学。690，32-46（1993年；兹bl 1503.68297）
全文： 内政部
弗兰兹·巴德

各种完全正则半群的统一。 （英语） Zbl 1518.68152号

Schulz，K.U.（编辑），单词方程和相关主题。1990年10月1日至3日，德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。572, 210-230 (1992).
MSC公司：2012年第68季度 03B35型 2007年7月20日 2017年11月20日
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}，莱克特。注释计算。科学。572、210-230（1992年；Zbl 1518.68152）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件