×

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

最新的 引文 关联
斯特凡·穆勒-斯塔奇

数学的代码。Provability和真理。（数学代码。Beweis和Wahrheit。） （德语） Zbl 07693503号

柏林：施普林格演讲（ISBN 978-3-662-66561-9/pbk；978-3-562-66562-6/ebook）。xiii，180页。(2023).
审核人：Iosif Petrakis（慕尼黑）
MSC公司：00-01 03-01 18-01 68-01 03G30型 18甲15 18个B05
PDF格式BibTeX公司 XML格式引用
\textit{S.Müller-Stach}，《数学密码》。Beweis和Wahrheit。柏林：施普林格演讲会（2023；Zbl 07693503）
全文： 内政部
阿图罗·罗梅罗·孔特雷拉斯

胡塞尔，意向性与数学：几何与范畴理论。 （英语） Zbl 1519.00007号

Boi，Luciano（编辑）等人，《当形式成为实体时》。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。327-357 (2022).
MSC公司：00A30型 03A05号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Romero Contreras}，in：当形式变成实体时。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。327--357（2022年；Zbl 1519.00007）
全文： 内政部 链接
弗兰克·杰德泽夫斯基

分类和方法。（分类和方法。） （法语） Zbl 1517.00006号

Boi，Luciano（编辑）等人，《当形式变成物质时》。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。65-79 (2022).
MSC公司：00A30型 18甲15 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{F.Jedrzejewski}，in：当形式变成物质时。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。65-79（2022年；Zbl 1517.00006）
全文： 内政部
卢卡·蒂门斯;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公司
Aurélien Jarry

双重范畴对等：第三种类比方式？（猫的双重等效性：第三种类比方式？） （法语） 邮编1482.00007

玛丽亚·扎克（编辑）等人，《历史和数学哲学研究》。CSHPM 2018卷。2018年6月4日至6日在加拿大魁北克省蒙特利尔举行的年度会议记录。查姆：Birkhäuser。程序。可以。社会历史。菲洛斯。数学/Soc.Can公司。历史。菲洛斯。数学。，41-67 (2020).
MSC公司：00A30型 18甲15 14A30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Jarry}，in：数学史和哲学研究。CSHPM 2018卷。年度会议记录，2018年6月4-6日，加拿大魁北克省蒙特利尔。查姆：Birkhäuser。41-67（2020年；1482.00007兹罗提）
全文： 内政部
约翰·贝尔。

对布尔贝吉“结构”和类别概念的反思。 （英语） 1460.00024兹罗提

佩鲁齐（Peruzzi）、阿尔贝托（Alberto）等，《结构模型：语义学、数学和认知科学》。查姆：斯普林格。螺柱应用。菲洛斯。认识论。定额。《伦理学》57，1-17（2020）。
MSC公司：00A30型 03-03 01A60型 03A05号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Bell}，研究生申请。菲洛斯。认识论。定额。道德57，1-17（2020；Zbl 1460.00024）
全文： 内政部
雅各布·埃梅内格

同伦范畴的完备公理和精确完备。 （英语。法语摘要） Zbl 1456.18007号

加利福尼亚州。白杨。盖姆。差异。猫。 61，编号427-449（2020）.
审核人：威利安·里贝罗（科英布拉）
MSC公司：18日第15天 18A35型 18E08型 55单位35 18B15号机组 18甲15 18层60
PDF格式BibTeX公司 XML格式引用
\textit{J.Emmenegger}，加利福尼亚州。白杨。盖姆。差异。猫。61，第4号，427--449（2020；Zbl 1456.18007）
全文： arXiv公司 链接
阿达梅克，吉安尼;斯特凡·米利厄斯;劳伦斯·莫斯。

关于基础良好的递归余代数。 （英语） Zbl 1455.18001号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077，17-36（2020）。
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：18甲15 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。12077，17-36（2020；Zbl 1455.18001）
全文： 内政部 arXiv公司
赫伯特·托斯

关系：具体、抽象和应用。引言。 （英语） Zbl 1460.03001号

新泽西州哈肯萨克：世界科学（ISBN 978-981-12-2034-0/hbk；978-981-12-2036-4/电子书）。第xx页，第552页。（2020年）。
审核人：韦斯·aw A.Dudek（Wroc aw）
MSC公司：03-01 06-01 03A05号 03E72型 03G15年 06年05月 06年06月06日 05年6月 18甲15 20个M10 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{H.Toth}，关系：具体、抽象和应用。引言。新泽西州哈肯萨克：世界科学（2020；Zbl 1460.03001）
全文： 内政部
格雷厄姆牧师

从数学基础到数学多元主义。 （英语） Zbl 1528.03004号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。天秤座。407, 363-380 (2019).
MSC公司：03-03 03A05号 03B30型 03B53号 18甲15 01A55号 01A60型 01A61号
PDF格式BibTeX公司 XML格式引用
\textit{G.牧师}，Synth。天秤座。407363-380（2019年；Zbl 1528.03004）
全文： 内政部
梅迪，佩内洛普

我们希望基金会做什么？ （英语） Zbl 1528.03046号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于数学基础会议：单价基础和集合论，FOMUS，德国比勒费尔德，2016年7月18-23日。查姆：斯普林格。合成。天秤座。407, 293-311 (2019).
MSC公司：03A05号 00A30型 03B30型 18甲15
PDF格式BibTeX公司 XML格式引用
\文本{P.Maddy}，Synth。天秤座。407293-311（2019年；Zbl 1528.03046）
全文： 内政部
尼尔·巴顿;Sy-David弗里德曼

设定理论和结构。 （英语） Zbl 1528.03011号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。天秤座。407, 223-253 (2019).
MSC公司：03A05号 00A30型 03E30年 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{N.Barton}和\textit{S.-D.Friedman}，Synth。天秤座。407223--253（2019年；Zbl 1528.03011）
全文： 内政部 链接
马塞洛·科尼格里奥（Marcelo E.Coniglio）。;阿尔多·菲加洛·奥雷拉诺

mbC Fidel结构的模型理论分析。 （英语） Zbl 1469.03072号

Başkent，Can（编辑）等人，Graham Priest关于方言论和准一致性。查姆：斯普林格。外部。控制日志。18, 189-216 (2019).
MSC公司：03B53号 03C05号机组 08B15号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Coniglio}和\textit{A.Figallo-Orellano}，Outst。控制日志。18、189--216（2019；Zbl 1469.03072）
全文： 内政部 链接
尼尔·杜瓦;塞缪尔·弗莱彻。;劳伦斯·哈德茨

扩展列表的级别。 （英语） Zbl 1436.03033号

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 63-81 (2019).
MSC公司：03A05号 00A30型 18甲15 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Dewar}等人，Springer Proc。物理。235、63-81（2019年；Zbl 1436.03033）
全文： 内政部 链接
兹比格涅夫·塞马德尼

从范畴的角度看康托利数学的不对称性：它与时间的方向有关吗？ （英语） Zbl 1442.00009号

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 55-62 (2019).
MSC公司：00A30型 00A79号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Semadeni}，Springer程序。物理。235，55-62（2019；Zbl 1442.00009）
全文： 内政部
约泽夫·卢巴茨

范畴理论在认知和生成过程中的应用。 （英语） Zbl 1442.00008号

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 45-53 (2019).
MSC公司：00A30型 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Lubacz}，施普林格程序。物理。235，45-53（2019；Zbl 1442.00008）
全文： 内政部
Wójtowicz，Krzysztof

物理现象是否有分类理论解释？ （英语） Zbl 1442.00010号

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 33-43 (2019).
MSC公司：00A30型 00A79号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{K.Wójtowicz}，施普林格程序。物理。235，33-43（2019；Zbl 1442.00010）
全文： 内政部
兹比格涅夫·克罗尔

范畴理论和哲学。 （英语） Zbl 1442.00006号

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 21-32 (2019).
MSC公司：00分30秒 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Król}，Springer程序。物理。235，21-32（2019；Zbl 1442.00006）
全文： 内政部
马雷克·库西;巴特·奥米耶·斯科伦;Wójtowicz，Krzysztof

为什么选择类别？ （英语） 兹比尔1442.00007

库西，马雷克（编辑）等人，《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日，波兰华沙，“物理、数学和哲学中的范畴理论”会议记录。查姆：斯普林格；华沙：国际形式本体中心。Springer程序。物理。235, 1-19 (2019).
MSC公司：00A30型 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Ku-si}等人，Springer Proc。物理。235，1-19（2019；Zbl 1442.00007）
全文： 内政部
埃里克·帕尔姆格伦

论建构型理论中范畴对象的平等性。 （英语） Zbl 1528.03111号

Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第7条，第7页（2018年）。
MSC公司：03B38型 03楼50 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{E.Palmgren}，LIPIcs——莱布尼茨国际程序。通知。104，第7条，第7页（2018；兹bl 1528.03111）
全文： 内政部 arXiv公司
上村，太极

纤维纤维类别。 （英语） Zbl 1452.18026号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第24条，第12页（2017年）。
MSC公司：18号45 18号40 03B38型 18甲15 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Uemura}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第24条，第12页（2017；Zbl 1452.18026）
全文： arXiv公司 链接
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩

显示的类别。 （英语） Zbl 1434.18002号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。84，第5条，第16页（2017年）。
MSC公司：18甲15 03B38型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Ahrens｝和\textit｛P.L.Lumsdaine｝，LIPIcs——莱布尼茨国际期刊。通知。84，第5条，第16页（2017年；Zbl 1434.18002）
全文： 内政部
阿兰·巴迪奥
A.J.巴特利特。（编辑）;玲，亚历克斯（编辑）

先验数学。由A.J.Bartlett和Alex Ling编辑、翻译和介绍。翻译自法语。 （英语） Zbl 1401.18001号

纽约州纽约市：布卢姆斯伯里学院（ISBN 978-1-4742-8645-9/pbk）。vii，282页。(2017).
MSC公司：18-02 03A05号 03G30型 18甲15 18对25
PDF格式BibTeX公司 XML格式引用
\textit{A.Badiou}等人，先验数学。由A.J.Bartlett和Alex Ling编辑、翻译和介绍。翻译自法语。纽约州纽约市：布卢姆斯伯里学院（2017；Zbl 1401.18001）
梅迪，佩内洛普

建立理论基础。 （英语） Zbl 1417.03086号

凯塞多、安德烈斯·爱德华多（编辑）等，《数学基础》。哈佛大学的逻辑。纪念W·休·伍丁60岁生日的论文。2015年3月27日至29日，美国马萨诸塞州剑桥市哈佛大学哈佛会议《逻辑学报》。普罗维登斯，RI：美国数学学会（AMS）。康斯坦普。数学。690289-322（2017年）。
MSC公司：03A05号 00A30型 03B30型 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.Maddy}，康泰姆。数学。690289-322（2017；Zbl 1417.03086）
全文： 内政部 链接
安东·塞泽尔

如何非正式地进行富有成效的推理。 （英语） 兹比尔1439.03071

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 377-408 (2016).
MSC公司：03B70号 03B38型 18甲15 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Setzer}，程序。计算。科学。申请。日志。28377--408（2016；Zbl 1439.03071）
全文： 内政部 链接
詹妮弗·查布;瓦伦蒂娜·哈里扎诺夫

量子力学、计算和范畴理论的（非常）简短之旅。 （英语） Zbl 1355.81011号

Chubb，Jennifer（编辑）等人，量子计算中的逻辑和代数结构。基于2010年3月17日至20日在美国华盛顿特区举行的符号逻辑协会2010年北美年会上举行的一次特别会议。剑桥：剑桥大学出版社（ISBN 978-1-107-03339-9/hbk；978-1-139-51968-7/电子书）。逻辑课堂讲稿45，8-22（2016）。
MSC公司：81第05页 81页68 81页第45页 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Chubb}和\textit{V.Harizanov}，莱克特。注释日志。45、8-22（2016；Zbl 1355.81011）
全文： 内政部
克里斯托夫·本兹穆勒;达纳·斯科特

自动化Isabelle/HOL中的自由逻辑。 （英语） Zbl 1434.68638号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 43-50 (2016).
MSC公司：68伏15 03B16号 03B35型 03B60号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit｛C.Benzmüller｝和\textit｛D.Scott｝，Lect。注释计算。科学。9725、43-50（2016年；Zbl 1434.68638）
全文： 内政部
拉尔夫·欣泽;丹·马斯登

从图片中拖出校样。 （英语） Zbl 1343.18007号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·瓦德勒60岁生日之际献给他的散文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，152-168（2016）。
MSC公司：18立方厘米 18A10号 18甲15 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}和\textit{D.Marsden}，Lect。注释计算。科学。9600、152--168（2016；Zbl 1343.18007）
全文： 内政部
弗雷德里克·达尔奎斯特

余代数完全性-via-非连续性。原理和应用。 （英语） Zbl 1476.03089号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 174-194 (2016).
MSC公司：03G30型 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}，莱克特。注释计算。科学。9608174-194（2016年；Zbl 1476.03089）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件