×

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

最新的 引文 关联
埃里克·威瑟

依赖型代数层次结构中的多重继承危险。 （英语） Zbl 07810734号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 222-236 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Wieser}，莱克特。注释计算。科学。14101、222--236（2023；Zbl 07810734）
全文： DOI程序 arXiv公司
弗洛里安·拉贝;弗兰齐斯卡·韦伯

理论图中的形态相等。 （英语） Zbl 07810731号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 174-189 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{F.Weber}，莱克特。注释计算。科学。14101174--189（2023；Zbl 07810731）
全文： DOI程序
乔纳斯·拜耳;阿列克谢·戈纳斯;克里斯托夫·本兹穆勒;Dana S.斯科特。

Isabelle/HOL中的范畴理论是元逻辑研究的基础。 （英语） 兹伯利07810724

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 69-83 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Bayer}等人，Lect。注释计算。科学。14101、69-83（2023；Zbl 07810724）
全文： DOI程序 arXiv公司
爱玛·哈默尔;郑洪波;尼克瓦什·卡尼

对提取数学标记描述符的NLP方法的评估。 （英语） Zbl 07691309号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 329-343 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Hamel}等人，Lect。注释计算。科学。13467229-343（2022年；兹bl 07691309）
全文： DOI程序
米勒，丹尼斯;迈克尔·科尔哈斯

将形式数学注入LaTeX。 （英语） Zbl 07691298号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 168-183 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}和\textit{M.Kohlhase}，莱克特。注释计算。科学。13467，168-183（2022；Zbl 07691298）
全文： DOI程序
西尔文·平斯基

Joshua Guttman：开创性的海滨空间。 （英语） Zbl 1498.68007号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 348-354 (2021).
MSC公司：68-03 94-03 68平方米25 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.平斯基}，莱克特。注释计算。科学。13066、348--354（2021；Zbl 1498.68007）
全文： DOI程序
恰兰·邓恩;威尔斯，J.B。;法鲁兹卡马雷丁

使用非集结构对象生成自定义集理论。 （英语） Zbl 1485.03221号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833228-244（2021年）。
MSC公司：03E70型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Dunne}等人，Lect。注释计算。科学。12833、228--244（2021；Zbl 1485.03221）
全文： DOI程序
纳维德·鲁克斯;弗洛里安·拉贝

保持结构的图操作符。 （英语） Zbl 07415137号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 142-163 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Roux}和\textit{F.Rabe}，莱克特。注释计算。科学。12669，142-163（2021；Zbl 07415137）
全文： DOI程序
弗洛里安·拉贝;米勒，丹尼斯

用隐式形态构建理论。 （英语） Zbl 1444.68293号

JoséLuiz（编辑）等，《代数开发技术的最新趋势》。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11563, 154-173 (2019).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{D.Müller}，莱克特。注释计算。科学。11563、154--173（2019年；Zbl 1444.68293）
全文： DOI程序 哈尔
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔

Mizar数学库在Mizar交互式证明开发中的作用。 （英语） Zbl 1433.68530号

J.汽车。推理 61号1-4、9-32（2018）.
MSC公司：68伏15 68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{G.Bancerek}等人，J.Autom。推理61，No.1--4，9-32（2018；Zbl 1433.68530）
全文： DOI程序
OA许可证
斯拉马，弗兰克;埃德温·布雷迪

通过类型安全反射自动证明等价性。 （英语） 兹比尔1367.68257

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，40-55页（2017年）。
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Slama}和\textit{E.Brady}，莱克特。注释计算。科学。10383、40-55（2017年；Zbl 1367.68257）
全文： DOI程序 链接
雅克·卡雷特;Farmer，William M。

将数学知识形式化为双形式理论图：案例研究。 （英语） Zbl 1367.68299号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，9-24（2017）。
MSC公司：68立方英尺 03B15号机组 03B35型 30楼03号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。10383，9--24（2017；Zbl 1367.68299）
全文： DOI程序 arXiv公司
Farmer，William M。

丘奇类型理论中的理论形态与引用和评价。 （英语） Zbl 1367.68302号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能讲义》，147-162（2017）。
MSC公司：68立方英尺 03B15号机组 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。10383、147--162（2017年；Zbl 1367.68302）
全文： DOI程序 arXiv公司
Farmer，William M。

将引用和评价纳入Church的类型理论：句法和语义。 （英语） Zbl 1344.68204号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，83-98（2016）。
MSC公司：68吨15 03B15号机组 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。9791、83-98（2016年；Zbl 1344.68204）
全文： DOI程序 arXiv公司
Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒

在DRAT证明中表示对称破缺。 （英语） 兹比尔1465.68285

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 591-606 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.J.H.Heule}等人，Lect。注释计算。科学。9195591--606（2015年；Zbl 1465.68285）
全文： DOI程序
托梅尔·利巴尔

二阶统一中的正则模式。 （英语） Zbl 1465.03054号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 557-571 (2015).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{T.Libal}，莱克特。注释计算。科学。9195、557--571（2015；Zbl 1465.03054）
全文： DOI程序 哈尔
Masahiko酒井;小山口，美雄;小川，水井裕人

非（E\）重叠、弱浅和非塌陷的TRS汇合。 （英语） Zbl 1465.68125号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日，德国柏林，第25届自动扣款国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 111-126 (2015).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Sakai}等人，Lect。注释计算。科学。9195、111-126（2015年；Zbl 1465.68125）
全文： DOI程序
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔

物理形式化：自动化、演示和基础问题。 （英语） Zbl 1417.68186号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 288-295 (2015).
MSC公司：68吨15 78-04
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9150288--295（2015；Zbl 1417.68186）
全文： DOI程序
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯

在离散数学中自动改变证明的表示。 （英语） Zbl 1409.68260号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 227-242 (2015).
MSC公司：68吨15 68卢比 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Raggi}等人，Lect。注释计算。科学。9150227--242（2015；Zbl 1409.68260）
全文： DOI程序 arXiv公司
米尼亚·伊恩库;迈克尔·科尔哈斯

通过诱导材料进行数学知识管理。 （英语） Zbl 1417.68208号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 187-202 (2015).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Iancu}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9150187--202（2015；Zbl 1417.68208）
全文： DOI程序
米尼亚·伊恩库;迈克尔·科尔哈斯

数学知识传播和聚合的灵活形式模型。 （英语） Zbl 1417.68207号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 137-152 (2015).
MSC公司：68立方英尺 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{M.Iancu}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9150137--152（2015；Zbl 1417.68207）
全文： DOI程序
维勒姆诺瓦克

从经典到模糊类型理论。 （英语） Zbl 1330.03063号

Manzano，María（编辑）等人，《Leon Henkin的生活和工作》。关于他的贡献的论文。Cham:Birkhäuser/施普林格出版社（ISBN 978-3-319-09718-3/pbk；978-3-319-09719-0/电子书）。《通用逻辑研究》，225-247（2014）。
MSC公司：03B52号 03B15号机组 03G25号 第65页
PDF格式BibTeX公司 XML格式引用
\textit{V.Novák}，摘自：Leon Henkin的生活和工作。关于他的贡献的论文。查姆：Birkhäuser/Springer。225-247（2014；Zbl 1330.03063）
全文： DOI程序
塞萨里·卡利西克;弗洛里安·拉贝

面向HOL Light的知识管理。 （英语） 兹比尔1304.68158

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，357-372（2014）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛C.Kaliszyk｝和\textit｛F.Rabe｝，Lect。注释计算。科学。8543、357--372（2014；Zbl 1304.68158）
全文： DOI程序
雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯

领域：巩固数学理论知识的结构。 （英语） Zbl 1304.68169号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学讲义8543。《人工智能课堂讲稿》，252-266（2014）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。8543、252--266（2014；Zbl 1304.68169）
全文： DOI程序 arXiv公司
雅克·卡雷特;罗素·奥康纳

理论演示组合器。 （英语） Zbl 1360.68802号

Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，202-215（2012）。
MSC公司：68立方英尺 18天30分
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{R.O'Connor}，莱克特。注释计算。科学。7362202-215（2012；Zbl 1360.68802）
全文： DOI程序 arXiv公司
雅克·卡雷特;Farmer，William M。;罗素·奥康纳

MathScheme：项目描述。 （英语） Zbl 1335.68226号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，287-288（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。6824、287--288（2011年；Zbl 1335.68226）
全文： DOI程序
弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩

关于集成问题的基本观点。 （英语） Zbl 1278.68289号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学讲义6824。人工智能课堂讲稿，107-122（2011）。
MSC公司：68T27型 68吨15 68立方英尺 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}等人，Lect。注释计算。科学。6824、107-122（2011年；Zbl 1278.68289）
全文： DOI程序 arXiv公司
汉斯·德·尼维尔

带有部分函数的经典逻辑。 （英语） Zbl 1291.03073号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，203-217（2010）。
MSC公司：03B70号 03B15号机组 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.de Nivelle}，莱克特。注释计算。科学。6173203-217（2010年；Zbl 1291.03073）
全文： DOI程序
Farmer，William M。;奥林·格里戈洛夫。

Panoptes：用于正式证明的探索工具。 （英语） Zbl 1291.68339号

Autexier，Serge（编辑）等人，《第八届定理证明器用户界面国际研讨会论文集》（UITP 2008），加拿大蒙特利尔，2008年8月22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22639-48（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}和\textit{O.G.Grigorov}，电子。注释Theor。计算。科学。22639--48（2009年；Zbl 1291.68339）
全文： DOI程序
OA许可证
塞拉、卡米娜·伊曼纽尔

朝向声音分析的符号方法。 （英语） Zbl 1247.00018号

Chew，Elaine（编辑）等人，《音乐中的数学和计算》。2009年6月19日至22日，第二届国际会议，MCM 2009，约翰·克劳夫纪念大会，美国康涅狄格州纽黑文。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02393-4/pbk；978-3-442-02394-1/电子书）。《计算机与信息科学通信》38，57-64（2009）。
MSC公司：00A65号
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Cella}，Commun（社区）。计算。信息科学。38、57-64（2009年；Zbl 1247.00018）
全文： DOI程序
卡瓦西托，S。

证明的长度：克里塞尔猜想和哥德尔加速定理。 （英语） Zbl 1207.03071号

数学杂志。科学。，纽约 158，第5号，689-707（2009）和Zap。诺什。塞明。POMI 358153-188（2008）。
审核人：埃米尔·杰亚贝克（普拉哈）
MSC公司：07年3月 20层03 30楼03号 03F40型
PDF格式BibTeX公司 XML格式引用
\textit{S.卡文蒂托}，J.数学。科学。，纽约158，No.5，689--707（2009；Zbl 1207.03071）
全文： DOI程序
安德烈亚·科尔哈斯;迈克尔·科尔哈斯

电子表格与框架的交互：探索数学实践。 （英语） Zbl 1247.68274号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，341-356（2009）。
MSC公司：68立方英尺 05C99年 68层35
PDF格式BibTeX公司 XML格式引用
\textit{A.Kohlhase}和\textit{M.Kohlhase}，Lect。注释计算。科学。5625341--356（2009年；Zbl 1247.68274）
全文： DOI程序
雅克·卡雷特;Farmer，William M。

数学知识管理综述。 （英语） Zbl 1247.68266号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，233-246（2009）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5625233-246（2009年；Zbl 1247.68266）
全文： DOI程序
塞萨里·卡利西克

在形式化的部分函数中自动化边条件。 （英语） Zbl 1166.68349号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能课堂讲稿》，300-314（2008）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}，莱克特。注释计算。科学。5144300-314（2008年；Zbl 1166.68349）
全文： DOI程序
雅克·卡雷特;Farmer，William M。

高级理论。 （英语） Zbl 1166.68338号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，232-245（2008）。
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5144232--245（2008年；Zbl 1166.68338）
全文： DOI程序
阿格涅斯卡·科祖贝克;巴威·乌尔兹琴

在寻找一种朴素的类型理论。 （英语） Zbl 1138.03311号

Miculan，Marino（编辑）等人，《证明和程序的类型》。2007年5月2日至5日，意大利弗留利市Cividale des Friuli国际会议，TYPES 2007。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-68084-0/pbk）。计算机科学课堂讲稿4941110-124（2008）。
MSC公司：03B15号机组 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kozubek}和\textit{P.Urzyczyn}，莱克托。注释计算。科学。4941、110-124（2008年；Zbl 1138.03311）
全文： DOI程序
卢茨·施罗德

为偏等式逻辑分类。 （英语） Zbl 1270.03147号

Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，305-322（2003）。
MSC公司：03G30型 03B40型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}，电子。注释Theor。计算。科学。69、305-322（2003年；Zbl 1270.03147）
全文： DOI程序
迪特尔·赫特

演绎作为一门工程科学。 （英语） Zbl 1261.68102号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，第1-8页（2003年）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Hutter}，电子。注释Theor。计算。科学。86，编号1，1--8（2003；Zbl 1261.68102）
全文： DOI程序
安德烈亚·科拉迪尼;法比奥·加杜奇

类术语结构的分类重写。 （英语） Zbl 1263.68070号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，108-121（2002）。
MSC公司：2012年第68季度 18立方厘米 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，电子。注释Theor。计算。科学。51108-121（2002年；兹bl 1263.68070）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件