乌苏拉州Wybraniec-Skardowska 推理类型的对应操作符。 (英语) Zbl 07786300号 日志。Univers大学。 17,编号4,511-528(2023).MSC公司:03A10号 03B22号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec-Skardowska},日志。Univers大学。17,编号4,511--528(2023;Zbl 07786300) 全文: 内政部 OA许可证
克里斯托弗·巴杜拉;海因里希·瓦辛 Stit公司-自愿输入的想象片段的逻辑。 (英语) Zbl 07740299号 版本符号。日志。 16,编号3,813-861(2023).MSC公司:03B45号 03B60号 03B80号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Badura}和\textit{H.Wansing},Rev.Symb。日志。16,编号3,813--861(2023;Zbl 07740299) 全文: 内政部
Knoks、Aleks 和解推理、自我成就和抽象论证。 (英语) Zbl 07740297号 版本符号。日志。 16,第3号,740-787(2023).MSC公司:03B60号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Knoks},版本符号。日志。16,第3号,740--787(2023;Zbl 07740297) 全文: 内政部
曼尼,A 存在颗粒的代数、拓扑和血液学基础。 arXiv:2308.16157 预打印,arXiv:2308.16157[cs.LO](2023)。MSC公司:03B70号 03C65号 03B80号 03G25 08A55号 46A99号 BibTeX公司 引用 \textit{A Mani},“存在颗粒的代数、拓扑和血液学基础”,预印本,arXiv:2308.16157[cs.LO](2023) 全文: arXiv公司 OA许可证
戴安娜·萨文 某些环的理想格。 arXiv:2303.15145 预印本,arXiv:2303.15145[math.AC](2023)。MSC公司:2014年11月 11兰特 05年3月 03B80号 11层30 03G10年 BibTeX公司 引用 \textit{D.Savin},“某些环的理想格”,预印本,arXiv:2303.15145[math.AC](2023) 全文: arXiv公司 OA许可证
Katarzyna Gan-Krzywoszyñska;彼得·勒希涅夫斯基 关于二分法和类比:关于逻辑上下一次“非血腥”革命的问题。 (英语) Zbl 07740526号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,459-470 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03B80号 97D20型 97E30型 97亿 01A67号 PDF格式BibTeX公司 XML格式引用 \textit{K.Gan Krzywoszyńska}和\textit{P.Leśniewski},在:有问题的逻辑。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。459--470(2022;Zbl 07740526) 全文: 内政部
迈克尔·弗伦德 概念意味着什么? (英语) Zbl 07740521号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,337-351 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03B80号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Freund},in:逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。337--351(2022;Zbl 07740521) 全文: 内政部
玛丽亚·朱利亚·唐德罗 图像及其否定能力。 (英语) Zbl 07740520号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,321-336 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dondero},in:逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。321--336(2022;Zbl 07740520) 全文: 内政部
蒂姆·莱顿 哥德尔的模态教条逻辑和菲利奥奎的案例研究。 (英语) Zbl 07686242号 日志。分析。,努夫。Sér。 65,编号257,1-23(2022).MSC公司:03B80号 03B45号 03B16号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Lethen},日志。分析。,努夫。Sér。65,编号257,1--23(2022;Zbl 07686242) 全文: 内政部
Dov Gabbay公司;约翰·伍兹 证据法和标签演绎法:十年后。 (英语) 兹比尔1515.03148 J.应用。日志。-IfCoLog J.日志。申请。 9,第4期,925-994(2022).MSC公司:03B80号 03B42型 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{J.Woods},J.Appl。日志。-IfCoLog J.日志。申请。9,编号4,925--994(2022;Zbl 1515.03148) 全文: 链接
朱利亚诺·马兰昂;乔瓦尼·卡西尼;加布里埃拉·皮戈齐;范德托雷、伦德特 规范性变更:AGM方法。 (英语) Zbl 1515.03076号 J.应用。日志。-IfCoLog J.日志。申请。 9,第4号,825-889(2022).MSC公司:03B42型 03B80号 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Maranháo}等人,J.Appl。日志。-IfCoLog J.日志。申请。9,编号4,825--889(2022;Zbl 1515.03076) 全文: 链接
安德鲁·舒曼;延斯·莱曼斯基 逻辑、空间算法和视觉推理。 (英语) Zbl 07659703号 日志。Univers大学。 16,第4期,535-543(2022).MSC公司:03B22号 03B70号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Schumann}和\textit{J.Lemanski},Log。Univers大学。16,编号4,535–543(2022;兹bl 07659703) 全文: 内政部
佩隆,牛顿;恩里克·安图内斯 推理小说的四值逻辑框架。 (英语) Zbl 07634940号 日志。日志。菲洛斯。 31,4号,579-610(2022).MSC公司:03B50号 03A05号 03B80号 00A64号 PDF格式BibTeX公司 XML格式引用 \textit{N.Peron}和\textit{H.Antunes},Log。日志。菲洛斯。31,第4号,579--610(2022;Zbl 07634940) 全文: 内政部
Teoh,Zu Yao(祖瑶) 拉姆齐代数的结构考虑。 (英语) 兹比尔07620705 J.塞姆。日志。 87,第4期,1677-1692(2022).MSC公司:03E05号 10年5月 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Y.Teoh},J.Symb。日志。87,第4号,1677--1692(2022;Zbl 07620705) 全文: 内政部 arXiv公司
高桥、新高 超越系统理论的逻辑方法。 (英语) Zbl 1504.93008号 Kijima,Kyoichi(编辑)等人,《系统研究I.为纪念高原康彦(Yasuhiko Takahara)关于系统理论和建模的论文》。新加坡:斯普林格。Transl.公司。系统。科学。26, 89-118 (2022).MSC公司:93A10号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{S.高桥},Transl。系统。科学。26、89——118(2022年;Zbl 1504.93008) 全文: 内政部
沙希德·拉赫曼(编辑);马蒂亚斯·阿姆加特(编辑);Nordtveit Kvernenes,汉斯·克里斯蒂安(编辑) 法律推理和逻辑的新发展。从古代法律到现代法律制度。基于2018年6月21日至26日在法国维希举行的逻辑、法律和法律推理研讨会。 (英语) 兹比尔1527.03001 逻辑、论证和推理23.查姆:施普林格(ISBN 978-3-030-70083-6/hbk;978-3-0.30-71683-7/pbk;979-3-030-7000 84-3/电子书)。xiv,433页。(2022).MSC公司:03-02 03B80号 03B42型 第91页,共99页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Rahman}(编辑)等人,法律推理和逻辑的新发展。从古代法律到现代法律制度。基于2018年6月21日至26日在法国维希举行的逻辑、法律和法律推理研讨会。查姆:施普林格(2022;Zbl 1527.03001) 全文: 内政部
罗伯特·德莫洛姆 多重代理人背景下的因果关系和责任。 (英语) Zbl 1515.03147号 J.应用。日志。-IfCoLog J.日志。申请。 9,编号2,583-605(2022).MSC公司:03B80号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe},J.应用。日志。-IfCoLog J.日志。申请。9,编号2,583--605(2022;Zbl 1515.03147)
福斯托·巴贝罗;彼得罗·加利亚尼 将因果团队语言嵌入谓词逻辑。 (英语) Zbl 07587334号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103159,42 p.(2022).MSC公司:03C80号 03B60号 03B70号 03B80号 03年2月25日 62-09 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbero}和\textit{P.Galliani},Ann.Pure Appl。逻辑173,第10号,文章ID 103159,42页(2022;Zbl 07587334) 全文: 内政部
巴马斯里尼瓦桑;兰贾尼,Parthasarathi 一种受毛利启发而指定明确指令的形式主义ṁ计算环境中的sá。 (英语) Zbl 07580910号 日志。Univers大学。 16,编号1-2,27-55(2022).MSC公司:03A05号 03B50号 03B70号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{B.Srinivasan}和\textit{R.Parthasarathi},日志。Univers大学。16,编号1--2,27-55(2022;Zbl 07580910) 全文: 内政部
安德鲁·特德 情境、命题和信息状态。 (英语) Zbl 1511.03006号 Bimbó,Katalin(编辑),关联逻辑和其他推理工具。纪念J.迈克尔·邓恩的论文。伦敦:学院出版物。致敬46,410-426(2022)。 审核人:托马斯·弗格森(阿姆斯特丹/圣安德鲁斯) MSC公司:03B47号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tedder},致敬46,410--426(2022;Zbl 1511.03006)
Judit X·马达拉斯。;迈克·斯坦内特;谢凯利(Székely,Gergely) 研究一阶逻辑中时空的各向同性和均匀性。 (英语) Zbl 07566288号 Ann.纯粹应用。逻辑 173,第9期,文章ID 103153,35页(2022).MSC公司:03B30型 83A05号 03B10号机组 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}等人,Ann.Pure Appl。逻辑173,第9号,文章ID 103153,35页(2022;Zbl 07566288) 全文: 内政部
Judit X·马达拉斯。;迈克·斯坦内特;谢凯利(Székely,Gergely) 爱因斯坦狭义相对论在任意有序场上隐含的世界观变换群。 (英语) Zbl 07531428号 版本符号。日志。 15,编号2,334-361(2022).MSC公司:03B30型 83A05号 03B80号 20世纪15年代 2015年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}等人,Rev.Symb。日志。15,编号2,334--361(2022;Zbl 07531428) 全文: 内政部
阿德里安·米罗尤;米尔恰·杜米特鲁 在Łukasiewicz的三值逻辑中表示投票规则。 (英语) Zbl 1517.03034号 J.应用。非类别。日志。 32,编号1,72-88(2022).MSC公司:03B80号 03B50号 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Miroiu}和\textit{M.Dumitru},J.Appl。非类别。日志。32,编号1,72--88(2022;Zbl 1517.03034) 全文: 内政部
朱利叶斯·施海尔 更正为:“协调游戏中的突出推理”。 (英语) Zbl 07797789号 合成 199,编号3-4,6621(2021).MSC公司:91A35型 03B80号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Schönherr},Synthese综合199,No.3--46621(2021;Zbl 07797789) 全文: 内政部
朱利叶斯·施海尔 协调游戏中的突出推理。 (英语) Zbl 07797788号 合成 199,编号3-4,6601-6620(2021); 更正同上,199,第3-4号,6621(2021)。MSC公司:91A35型 03B80号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Schönherr},Synthese综合199,No.3--4,6601-6620(2021;Zbl 07797788) 全文: 内政部
西蒙·哈特格尔(Simon M.Huttegger)。;杰拉德·J·罗斯福斯。 Bradley条件和动态选择。 (英语) Zbl 07797787号 合成 199,编号3-4,6585-6599(2021).MSC公司:03B80号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Huttegger}和\textit{G.J.Rothfus},综合199,编号3--4,6585-6599(2021;Zbl 07797787) 全文: 内政部
伊曼纽尔·基诺(Emmanuel J.Genot)。 福尔摩斯逻辑学家:福尔摩斯的“演绎与分析科学”和发现逻辑。 (英语) Zbl 1525.03018号 合成 198,第11期,10169-10186(2021).MSC公司:03A05号 03B80号 00A64号 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Genot},合成198,No.11,10169--10186(2021;Zbl 1525.03018) 全文: 内政部
亚历山大·帕罗尔;科兹兹托夫·彼得罗维奇(Krzysztof Pietrowicz);乔安娜·萨拉查·贾穆·埃克 将谓词表达式嵌套作为社会现象的基本逻辑的扩展MR。 (英语) Zbl 07682095号 牛市。第节。日志。,大学后勤部。 50,第2期,205-227(2021).MSC公司:03B80号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Parol}等人,公牛。第节。日志。,大学后勤部。50,编号2,205-227(2021;Zbl 07682095) 全文: 内政部
丹尼拉·格拉瓦尼科娃;马蒂奥·帕斯库奇 好的、坏的和正确的:道义概念之间的形式化简化。 (英语) Zbl 07682093号 牛市。第节。日志。,大学后勤部。 50,编号2,151-176(2021).MSC公司:03B45号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{D.Glavaničová}和\textit{M.Pascucci},公牛。第节。日志。,大学后勤部。50,编号2,151--176(2021;Zbl 07682093) 全文: 内政部
托马斯·贾穆·埃克(编辑);Ju、Fengkui(编辑);彼得·库利基(编辑);辽、北水(编辑) 关于社会现象的推理。 (英语) Zbl 07682091号 牛市。第节。日志。,大学后勤部。 50,编号2,125-129(2021).MSC公司:03-06 03B80号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Jarmużek}(编辑)等,公牛。第节。日志。,大学后勤部。50,编号2,125--129(2021;Zbl 07682091) 全文: 内政部
尼古拉斯·特罗夸德 跟踪和管理被认为的能力。 (英语) Zbl 1507.03087号 合成 198,第6期,5027-5045(2021).MSC公司:03B70号 03B80号 03B44号 68T27型 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{N.Troquard},综合198,No.6,5027--5045(2021;Zbl 1507.03087) 全文: 内政部 arXiv公司
埃琳娜·拉夫。;泽耶夫·沃尔科维奇;格哈德·威廉·韦伯 一种基于逻辑的多智能体系统增量推理方法。 (英语) Zbl 1500.93004号 Pinto,Alberto(ed.)等人,《建模、动力学、优化和生物经济学》IV.根据2018年第六届国际动力学游戏与科学会议(DGS-VI-2018)和第十九届Jornadas Latinoamericans de teora economica(Jolate-XIX)上的陈述,选择论文。2018年5月于西班牙马德里,2017年5月至6月于美国伯克利ICABR。选定的贡献。查姆:施普林格。Springer程序。数学。《美国联邦法律大全》第365卷第397-443页(2021年)。MSC公司:93甲16 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Ravve}等人,Springer Proc。数学。Stat.365,397--443(2021;Zbl 1500.93004) 全文: 内政部
Jean-Marc阿利奥特;玛尔塔·梅耶尔·恰尔迪亚;罗伯特·德莫洛姆;马丁·迪盖兹;路易斯·法利尼亚斯·德尔·塞罗 分子相互作用图建模框架。 (英语) Zbl 1515.05175号 J.应用。日志。-IfCoLog J.日志。申请。 1917-1951(2021)第7期第8页.MSC公司:05C92年 92E20型 03B80号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Alliot}等人,J.Appl。日志。-IfCoLog J.日志。申请。1917-1951年第7号第8条(2021年;Zbl 1515.05175) 全文: arXiv公司
阿卜杜拉伊努萨;埃斯科·图伦 用于多准则决策分析的次协调pavelka技术。 (英语) Zbl 1492.91098号 J.穆特-有效日志。软计算。 37,编号1-2,1-25(2021).MSC公司:91B06型 91B86型 03B52号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Inusah}和\textit{E.Turunen},J.Mult-有效日志。软计算。37,编号1--2,1--25(2021;Zbl 1492.91098) 全文: 链接
贾纳斯·Czelakowski 行动的可执行性。 (英语) 兹比尔1496.03114 J.逻辑语言信息。 30,编号4,753-804(2021).MSC公司:03B60号 03B80号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.Czelakowski},J.Logic Lang.Inf.30,编号4,753--804(2021;Zbl 1496.03114) 全文: 内政部
徐,杨;宁焕生;万岳良;周、方 网络逻辑和网络驱动逻辑。 (中文)。英文摘要) Zbl 1488.03008号 下巴。J.工程。 43,第5号,702-709(2021).MSC公司:03B80号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,Chin。J.Eng.43,No.5,702--709(2021;Zbl 1488.03008) 全文: 内政部
阿纳州阿尔梅达博尔赫斯;Conejero Rodríguez,胡安·何塞;Fernández Duque,大卫;米雷亚González Bedmar;Joost J.乔斯特恩。 驾驶或不驾驶:对欧洲运输法规的逻辑和计算分析。 (英语) 兹比尔1522.03100 Inf.计算。 280,文章ID 104636,15 p.(2021).MSC公司:03B80号 03B44号 03B70号 2017年第68季度 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}等人,《信息计算》。280,文章ID 104636,15 p.(2021;Zbl 1522.03100) 全文: 内政部
伊努萨阿卜杜拉;埃斯科·图伦 一种用于多属性决策的次协调多值相似性方法。 (英语) Zbl 1464.03036号 模糊集系统。 409, 128-152 (2021).MSC公司:03B80号 03B52号 03B53号 91B06型 91B86型 PDF格式BibTeX公司 XML格式引用 \textit{I.Abdulai}和\textit{E.Turune},模糊集系统。409128--152(2021年;兹bl 1464.03036) 全文: 内政部
威廉·康雷迪;亚历山德拉·帕尔米吉亚诺;克劳德特·罗宾逊;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格 模拟社会政治竞争。 (英语) Zbl 1464.03037号 模糊集系统。 407, 115-141 (2021).MSC公司:03B80号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。407115--141(2021年;Zbl 1464.03037) 全文: 内政部 arXiv公司
亚历山大·波奇曼 因果关系的逻辑理论。 (英语) Zbl 1477.68006号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04532-2/pbk;978-0-262-36620-5/电子书)。十六、350页。(2021).MSC公司:68-02 03-02 03B80号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bochman},因果关系的逻辑理论。马萨诸塞州剑桥:麻省理工学院出版社(2021;Zbl 1477.68006) 全文: 内政部
拉希姆·拉梅扎尼安;拉苏尔·拉梅扎尼安;汉斯·范·迪特马什;马尔文·加廷格 人人都知道,人人都知道。 (英语) Zbl 1498.03067号 Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:施普林格。日志。认识论。统一科学。49, 117-133 (2021).MSC公司:03B80号 03B70号 03B42型 68个M12 68T27型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramezanian}等人,日志。认识论。统一科学。49117-133(2021年;兹比尔1498.03067) 全文: 内政部 arXiv公司
马蒂厄·方丹 虚构理论的世界线语义学。 (英语) Zbl 1509.03092号 日志。分析。,努夫。Sér。 63,编号252,465-494(2020).MSC公司:03B80号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fontaine},日志。分析。,努夫。Sér。63、编号252、465--494(2020;Zbl 1509.03092) 全文: 内政部
盖塔诺·维塔莱 通过Łukasiewicz逻辑进行风险分析。 (英语) 兹比尔1491.03025 软计算。 24,第18号,13651-13655(2020).MSC公司:03B80号 03B52号 05年6月 91B05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Vitale},软计算。24,第18号,13651--13655(2020;Zbl 1491.03025) 全文: 内政部
琼·卡萨斯·罗玛;安东尼娅·韦尔塔斯;罗德里格斯,M.埃琳娜 想象场景的逻辑。 (英语) Zbl 1494.03036号 日志。J.IGPL公司 28,第3期,363-388(2020).MSC公司:03B42型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Casas-Roma}等人,日志。J.IGPL 28,第3号,363--388(2020;Zbl 1494.03036) 全文: 内政部 链接
安德烈·普拉泽;Tan,Yong Kiam先生 微分方程不变性公理化。 (英语) Zbl 1494.03079号 美国临床医学杂志 67,第1号,第6条,66页(2020年).MSC公司:03B80号 03B70号 03财年03 第34页38 34立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{Y.K.Tan},J.ACM 67,第1号,第6条,66页(2020;Zbl 1494.03079) 全文: 内政部 arXiv公司
穆罕默德·哈立德;谢凯利(Székely,Gergely);科恩Lefen;朋友,米歇尔 形式理论之间的距离。 (英语) Zbl 1485.03079号 版本符号。日志。 13,第3号,633-654(2020年).MSC公司:03B80号 03A10号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}等人,Rev.Symb。日志。13,第3633-654号(2020年;兹bl 1485.03079) 全文: 内政部 arXiv公司
亚历山大·纳普;马库斯·罗根巴赫 书评:A.Platzer,《网络物理系统的逻辑基础》。 (英语) Zbl 1451.00040号 正式Asp。计算。 32,第1期,149-151(2020).MSC公司:00A17年 93-01 03-01 03B70号 03B80号 68-01 第68季度第60季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}和\textit{M.Roggenbach},正式Asp。计算。32,第1号,149--151(2020;Zbl 1451.00040) 全文: 内政部
斯梅茨,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 对社会影响和友谊选择之间相互作用的逻辑分析。 (英语) Zbl 1496.03139号 Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。2005年1月1日,71-87(2020)。MSC公司:03B80号 03B45号 03B70号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Smets}和\textit{F.R.Velázquez-Quesada},莱克特。注释计算。科学。12005,71-87(2020;Zbl 1496.03139) 全文: 内政部
熊、左军;托马斯·奥戈特内斯 关于社交网络平衡的逻辑。 (英语) Zbl 1435.03058号 J.逻辑语言信息。 29,第1期,53-75(2020年).MSC公司:03B70号 03B45号 03B80号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xiong}和\textit{T.奥戈特斯},J.Logic Lang.Inf.29,No.1,53--75(2020;Zbl 1435.03058) 全文: 内政部
斯梅茨,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 基于亲近度和优先级的社交网络创建逻辑研究。 (英语) Zbl 1435.91139号 J.逻辑语言信息。 29,编号1,21-51(2020).MSC公司:91天30分 03B42型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{S.Smets}和\textit{F.R.Velázquez-Quesada},J.Logic Lang.Inf.29,No.1,21-51(2020;Zbl 1435.91139) 全文: 内政部
科尔比·莫里森;帕维尔·瑙莫夫 社交网络中的群体整合。 (英语) Zbl 1435.91138号 J.逻辑语言信息。 29,第1期,第3-19页(2020年).MSC公司:91天30分 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morrison}和\textit{P.Naumov},J.Logic Lang.Inf.29,No.1,3--19(2020;Zbl 1435.91138) 全文: 内政部
田,杨 抽象算子对函数完备性的一般验证。 arXiv:2005.04922 预印本,arXiv:2005.04922[math.LO](2020)。MSC公司:03B80号 03G99型 03B50号 03B05号 03G25 03E75型 BibTeX公司 引用 \textit{Y.Tian},“抽象算子对函数完整性的一般验证”,预打印,arXiv:2005.04922[math.LO](2020) 全文: arXiv公司 OA许可证
克里斯托夫·本兹穆勒 《计算机:哥德尔本体论论证的计算探索变体》(Computer:Computationally Explored Variants of Gödel’s Ontological Argument)说,一个(简化的)至尊存在是必然存在的。 arXiv:2001.04701号 预印本,arXiv:2001.04701[cs.LO](2020)。MSC公司:03轴 03B15号机组 03B45号 03B60号 03B80号 68吨15 68T27型 68立方英尺 BibTeX公司 引用 \textit{C.Benzmüller},《计算机:G的计算探索变体》(Computer:Computationally Explored Variants of G),《模型本体论论证》,预印本,arXiv:2001.04701[cs.LO](2020) 全文: arXiv公司 OA许可证
乔尔·德斯佩鲁;艾米·费尔蒂;彼得罗·利奥;卡洛斯·奥拉特 乳腺癌进展建模的逻辑框架。 (英语) Zbl 1525.92029号 Chaves,Madalena(编辑)等人,《分子逻辑和计算合成生物学》。2018年12月17日至18日,智利圣地亚哥,MLCSB 2018第一届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。11415, 121-141 (2019).MSC公司:92 C50 92立方厘米 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人,Lect。注释计算。科学。11415、121--141(2019;Zbl 1525.92029) 全文: 内政部
亚历山大·马德拉 为每个人验证?动态逻辑概述。 (英语) Zbl 1522.03101号 Chaves,Madalena(编辑)等人,《分子逻辑和计算合成生物学》。2018年12月17日至18日,智利圣地亚哥,2018年MLCSB首次国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。11415, 18-33 (2019).MSC公司:03B80号 03B70号 第68季度第60季度 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira},莱克特。注释计算。科学。11415、18-33(2019年;Zbl 1522.03101) 全文: 内政部
安德鲁·舒曼 新巴比伦人是否为法律诉讼构建了象征逻辑? (英语) Zbl 1513.03001号 J.应用。日志。-IfCoLog J.日志。申请。 6,第1期,31-81(2019).MSC公司:03-03 03A05号 03B80号 01A17年 PDF格式BibTeX公司 XML格式引用 \textit{A.Schumann},J.应用。日志。-IfCoLog J.日志。申请。6,第1号,第31-81条(2019年;Zbl 1513.03001)
阿雷塞斯,卡洛斯 图形游戏的许多逻辑。 (英语) Zbl 1487.03033号 阿隆索、恩里克(编辑)等人,《宗教的世界》。恩萨约斯向玛丽亚·曼扎诺致敬。伦敦:学院出版物。提示。洛格。认识论。冷。13, 39-57 (2019).MSC公司:03B45号 03B80号 05年5月57日 PDF格式BibTeX公司 XML格式引用 \文本{C.Areces},Cuad。洛格。认识论。冷。13、39-57(2019年;Zbl 1487.03033)
尼科莱·内佩伊沃达 变形是逻辑解决的内在部分。 (英语) Zbl 1446.03016号 日志。伊斯斯莱德。 25,第1期,第120-130页(2019年).MSC公司:03A05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{N.Nepejvoda},日志。伊斯斯莱德。25,编号1201-130(2019;兹bl 1446.03016) 全文: 内政部
赵梦媛 信号游戏中作为标量含义的软预设。 (英语) Zbl 1469.03087号 廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,135-151 (2019).MSC公司:03B80号 03B65号 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhao},in:动力学、不确定性和推理。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。135-151(2019年;Zbl 1469.03087) 全文: 内政部
罗伯特·H·C·莫尔。 有效性:稳定近似推理的广义逻辑。 (英语) Zbl 1454.00022号 Nicolas Fillion等人,《数学、认识论和科学中的算法和复杂性》。2015年和2016年ACMES会议记录,英国伦敦。精选论文。纽约州纽约市:斯普林格;多伦多:菲尔兹数学科学研究所。字段Inst.Commun。82225-268(2019年)。MSC公司:00A30型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{R.H.C.Moir},Fields Inst.Commun公司。82225-268(2019年;Zbl 1454.00022) 全文: 内政部
迈克尔·海勒;Jerzy Król 超越时空界限。 (英语) Zbl 1442.83008号 库西,马雷克(编辑)等人,《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日,波兰华沙,“物理、数学和哲学中的范畴理论”会议记录。查姆:斯普林格;华沙:国际形式本体中心。Springer程序。物理。235, 95-103 (2019).MSC公司:83二氧化碳 83C75号 53Z05个 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Heller}和\textit{J.Król},Springer Proc。物理。235,95-103(2019年;兹比尔1442.83008) 全文: 内政部 arXiv公司
阿诺德·奥斯特拉 非平面上的存在图。 (英语) Zbl 1472.03009号 科伦布牧师。材料。 53,第2号,205-219(2019).MSC公司:03A05号 57公里20 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Oostra},科伦坡牧师。材料53,编号2,205-219(2019;Zbl 1472.03009)
威廉·康雷迪;安德鲁·克雷格;亚历山德拉·帕尔米吉亚诺;纳乔姆·维恩伯格。 信息熵建模。 (英语) Zbl 07176923号 Iemhoff,Rosalie(编辑)等人,《逻辑、语言、信息和计算》。第26届国际研讨会,2019年7月2日至5日,荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。11541, 140-160 (2019).MSC公司:03B70号 03B80号 03B45号 第94页第17页 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,Lect。注释计算。科学。11541,140-160(2019;Zbl 07176923) 全文: 内政部 arXiv公司
安德烈亚·维斯特鲁奇 元语言和启示:重新思考神学的语言和相关性。 (英语) Zbl 07170329号 日志。Univers大学。 13,第4号,551-575(2019).MSC公司:03A05号 03B65号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vestrucci},日志。Univers大学。13,第4号,551--575(2019;Zbl 07170329) 全文: 内政部
雅各布·阿尔坎鲍尔 在filioque争议中的应对措施和正常违约。 (英语) Zbl 1460.01005号 日志。Univers大学。 13,第4号,443-455(2019). 审核人:吉姆·麦肯齐(悉尼) MSC公司:01A35型 03B60号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Archambault},日志。Univers大学。13,第4号,443--455(2019;Zbl 1460.01005) 全文: 内政部
卡梅罗、里卡多;乔瓦尼·皮斯通;法比奥·拉帕洛 模态算子和复曲面理想。 (英语) Zbl 1444.03046号 J.日志。计算。 29,第577-593号(2019).MSC公司:03B45号 03B80号 13甲15 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Camerlo}等人,J.Log。计算。29,第5号,577--593(2019;Zbl 1444.03046) 全文: 内政部 arXiv公司
弗兰克·托马斯·绍特 三段论的一系列图解方法。 (英语) Zbl 07061140号 日志。Univers大学。 13,第1号,21-36(2019).MSC公司:03B80号 PDF格式BibTeX公司 XML格式引用 \textit{F.T.绍特},日志。Univers大学。13,编号1,21-36(2019;Zbl 07061140) 全文: 内政部
佐埃·克里斯托夫;帕维尔·瑙莫夫 在社交网络中与顽固的代理人进行传播。 (英语) Zbl 1444.03123号 J.日志。计算。 29,第1号,53-70(2019).MSC公司:03B80号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}和\textit{P.Naumov},J.Log。计算。29,第1号,53-70(2019年;兹bl 1444.03123) 全文: 内政部
丹尼尔·基什内尔;克里斯托夫·本兹穆勒;Edward N.扎尔塔。 计算机科学和形而上学:一种交叉受精。 arXiv:1905.00787号 预印本,arXiv:1905.00787[cs.LO](2019)。MSC公司:03轴 03B15号机组 03B45号 03B60号 03B80号 68吨15 68T27型 68立方英尺 BibTeX公司 引用 \textit{D.Kirchner}等人,“计算机科学和形而上学:交叉受精”,预印本,arXiv:1905.00787[cs.LO](2019) 全文: 内政部 arXiv公司 OA许可证
阿齐米普尔,萨纳兹;帕维尔·瑙莫夫 社交网络传播的灯塔原则。 (英语) Zbl 1513.03077号 J.应用。日志。-IfCoLog J.日志。申请。 5,第1号,97-120(2018).MSC公司:03B80号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Azimipour}和\textit{P.Naumov},J.Appl。日志。-IfCoLog J.日志。申请。5,第1号,97-120(2018;Zbl 1513.03077) 全文: arXiv公司
安德烈·普拉泽;Tan,Yong Kiam先生 微分方程公理化。不同鬼魂令人印象深刻的力量。 (英语) Zbl 1453.03026号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。819-828 (2018).MSC公司:03B70号 03B80号 03财年03 第34页38 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{Y.K.Tan},摘自:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。819--828(2018;Zbl 1453.03026) 全文: 内政部 arXiv公司
苏加塔·戈什;韦布鲁克(Rineke Verbrugge) 研究玩家的策略和类型:实验、逻辑和认知模型。 (英语) Zbl 1452.03081号 合成 195,第10号,4265-4307(2018).MSC公司:03B80号 03B42型 03B60号 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghosh}和\textit{R.Verbrugge},综合195,第10期,4265-4307(2018;Zbl 1452.03081) 全文: 内政部
康斯坦蒂诺斯·乔治亚托斯 测地线合并。 (英语) Zbl 1452.03050号 合成 195,编号10,4243-4264(2018).MSC公司:03B42型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{K.Georgatos},《合成》195,第10期,4243-4264(2018;兹bl 1452.03050) 全文: 内政部
埃利奥诺拉·克雷斯托 社会认识论的几个问题:动态群体概率。(阿尔古诺问题是社会认识论的问题:概率grupales dinámicas。) (英语) Zbl 1440.03055号 Freund,Max A.(编辑)等人,《逻辑与逻辑哲学》。拉丁美洲和西班牙的近期趋势。伦敦:学院出版物。螺柱日志。(伦敦)78,169-186(2018)。MSC公司:03B80号 03B42型 91B10型 PDF格式BibTeX公司 XML格式引用 \textit{E.Cresto},螺柱日志。(伦敦)78,169--186(2018;Zbl 1440.03055)
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊 与Hintikka一起打牌:动态认识逻辑导论。 (英语) Zbl 1437.03077号 van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:施普林格。Outst公司。控制日志。12, 237-262 (2018).MSC公司:03B42型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Outst。控制日志。12、237--262(2018;Zbl 1437.03077) 全文: 内政部
伊多·本·兹维;摩西,约拉姆 已知未知:时间界限和无知知识。 (英语) Zbl 1437.03058号 van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:施普林格。Outst公司。控制日志。12, 187-206 (2018).MSC公司:03B42型 03B80号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben Zvi}和\textit{Y.Moses},Outst。控制日志。12、187--206(2018;Zbl 1437.03058) 全文: 内政部
Smets,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 关于社会群体创建的逻辑观点。 (英语) Zbl 1418.03145号 Arazim,Pavel(编辑)等人,《2017年逻辑年鉴》。2017年6月19日至23日,捷克共和国赫尼茨修道院,第31届年度国际研讨会Logica会议记录。伦敦:学院出版物。271-288 (2018).MSC公司:03B80号 03B42型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Smets}和\textit{F.R.Velázquez-Quesada},收录于《2017年逻辑年鉴》。2017年6月19日至23日,捷克共和国赫尼茨修道院,第31届年度国际研讨会Logica会议记录。伦敦:学院出版物。271--288(2018;Zbl 1418.03145)
科尔内利乌兹·波里斯基 J.M.Bochennski的符号理论。 (英语) Zbl 1406.03020号 Garrido,Angel(编辑)等人,《利沃夫-瓦沙学校》。过去和现在。查姆:Birkhä用户(ISBN 978-3-319-65429-4/hbk;978-3-3169-65430-0/电子书)。《普适逻辑研究》,273-277(2018)。MSC公司:03-03 01A70号 01A60型 03A05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{K.Policki},收录于:利沃沃索学校。过去和现在。查姆:Birkhäuser。273——277(2018年;Zbl 1406.03020) 全文: 内政部
亚历山德拉·帕尔米吉亚诺(编辑);马库斯·皮瓦托(编辑) 社会行为逻辑:社论。 (英语) Zbl 1405.00026号 螺柱日志。 106,第5期,889-891(2018).MSC公司:00B15号机组 03-06 03B80号 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Palmigiano}(编辑)和\textit{M.Pivato}。106,第5号,889--891(2018;Zbl 1405.00026) 全文: 内政部
安德烈·普拉泽 网络物理系统的逻辑基础。 (英语) Zbl 1400.93003号 查姆:施普林格(ISBN 978-3-319-63587-3/hbk;978-3-3169-63588-0/电子书)。xxxi,639页。(2018).MSC公司:93-01 03-01 03B70号 03B80号 68-01 第68季度第60季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},网络物理系统的逻辑基础。查姆:施普林格(2018;Zbl 1400.93003) 全文: 内政部 链接
马克斯,英戈尔夫 和弦及其内部和谐的分子逻辑。 (英语) Zbl 1439.03069号 日志。Univers大学。 12,编号1-2,239-269(2018). 审核人:玛丽亚·曼诺内(巴勒莫) MSC公司:03B60号 03B80号 00A65号 PDF格式BibTeX公司 XML格式引用 \textit{I.Max},日志。Univers大学。12,编号1--2,239--269(2018;Zbl 1439.03069) 全文: 内政部
斯梅茨,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 社交网络的创建和变化:基于群体规模的逻辑研究。 (英语) Zbl 1499.91080号 马德拉,亚历山大(编辑)等人,《动态逻辑》。新趋势和应用。2017年9月23日至24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10669, 171-184 (2018).MSC公司:91天30分 03B42型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{S.Smets}和\textit{F.R.Velázquez Quesada},Lect。注释计算。科学。10669、171--184(2018年;Zbl 1499.91080) 全文: 内政部
迈赫迪·达斯塔尼;埃米利亚诺·洛里尼;约翰·朱尔斯,迈耶;亚历山大·潘科夫 其他补偿愤怒=将无法实现的欲望归咎于负责任的代理人。 (英语) Zbl 1503.91081号 An,Bo(编辑)等人,《2017年PRIMA:多智能体系统的原理和实践》。第20届国际会议,法国尼斯,2017年10月30日至11月3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10621, 15-33 (2017).MSC公司:91电子99 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人,Lect。注释计算。科学。10621,15-33(2017;Zbl 1503.91081) 全文: 内政部
马里奥·埃塞特;伊万娜·库兹马诺维奇;伊凡·瓦兹勒;蒂霍米尔·齐利奇 \(M\)系统理论。 (英语) Zbl 1492.03010号 日志。J.IGPL公司 25,第5号,836-858(2017).MSC公司:03B50号 03B80号 91层20 94C60个 PDF格式BibTeX公司 XML格式引用 \textit{M.Essert}等人,《日志》。J.IGPL 25,No.5,836--858(2017;Zbl 1492.03010) 全文: 内政部
大卫·埃勒曼 逻辑信息论:信息论的新逻辑基础。 (英语) Zbl 1492.94039号 日志。J.IGPL公司 25,第5号,806-835(2017).MSC公司:94甲17 03B80号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ellerman},日志。J.IGPL 25,第5号,806--835(2017;Zbl 1492.94039) 全文: 内政部 链接
朱利奥·迈克尔·斯特恩;拉斐尔·伊兹比基;路易斯·古斯塔沃·埃斯特维斯;拉斐尔·巴西·斯特恩 逻辑一致的假设检验和对立六边形。 (英语) Zbl 1492.03014号 日志。J.IGPL公司 25,第5号,741-757(2017).MSC公司:03B80号 03B45号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Stern}等人,日志。J.IGPL 25,第5号,741--757(2017;Zbl 1492.03014) 全文: 内政部 arXiv公司
雅罗斯拉夫·伊戈列维奇·彼得鲁金 尤里耶夫逻辑的自然演绎。 (俄语。英文摘要) 兹比尔1465.03067 车里雅宾斯基-材料Zh。 2,第1号,46-52(2017).MSC公司:03B60号 92B20型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Petrukhin},车里雅宾斯基ĭ菲兹-材料Zh。2、编号1、46-52(2017;Zbl 1465.03067) 全文: MNR公司
Mio、Matteo;罗伯特·福伯;拉杜·马达尔 马尔可夫过程的Riesz模态逻辑。 (英语) Zbl 1452.03082号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第31条,第12页(2017年)。MSC公司:03B80号 03B45号 03G25 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第31条,第12页(2017;Zbl 1452.03082) 全文: 链接
加布里埃尔·桑德;西尔维乌·维利卡 在IF逻辑中建模Monty Hall。 (英语) Zbl 1437.91117号 Başkent,Can(编辑)等人,Rohit Parikh关于逻辑、语言和社会。查姆:施普林格。Outst公司。控制日志。11, 165-184 (2017).MSC公司:91A60型 03B60号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sandu}和\textit{S.Velica},Outst。控制日志。11、165--184(2017年;Zbl 1437.91117) 全文: 内政部 链接
马杜卡·阿塔玛;汉斯·范·迪特马什;大卫·格罗西;范德霍克,威比 闲聊的乐趣。 (英语) Zbl 1437.03056号 巴什肯特(Baškent,Can)(编辑)等人,《逻辑、语言和社会》(Rohit Parikh on logic,language and society)。查姆:施普林格。Outst公司。控制日志。11, 145-163 (2017).MSC公司:03B42型 03B45号 03B70号 03B80号 68个M12 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Attamah}等人,Outst。控制日志。11、145-163(2017;Zbl 1437.03056) 全文: 内政部
塞里托、塞雷内拉;玛塔·齐尔迪亚·迈耶;罗伯特·德莫洛姆 生物化学反应的时间溯源推理。 (英语) Zbl 1398.03154号 J.应用。非类别。日志。 27,编号3-4,269-291(2017).MSC公司:03B80号 03B44号 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}等人,J.Appl。非类别。日志。27、编号3--4、269--291(2017;Zbl 1398.03154) 全文: 内政部 链接
Teh,Wen Chean先生;Teoh,Zu Yao(祖瑶) 拉姆齐有序代数作为拉姆齐代数的一种新方法。 (英语) Zbl 1393.05261号 东西方数学杂志。 19,第1期,90-103(2017).MSC公司:10年5月 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Teh}和\textit{Z.Y.Teoh},东西方数学杂志。19,第1号,90--103(2017;Zbl 1393.05261) 全文: arXiv公司
姜桂飞;劳伦特·佩鲁塞尔;张东墨 论认知GDL的公理化。 (英语) Zbl 1495.03020号 Baltag,Alexandru(编辑)等人,《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10455, 598-613 (2017).MSC公司:03B42型 03B80号 91A27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jiang}等人,Lect。注释计算。科学。10455598-613(2017年;Zbl 1495.03020) 全文: 内政部 链接
沙拉克,弗拉基米尔·伊万诺维奇 解决问题的分析方法。 (俄语。英文摘要) Zbl 1417.03117号 日志。伊斯斯莱德。 23,第1期,121-139(2017).MSC公司:03A10号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。23,第1号,121--139(2017;Zbl 1417.03117) 全文: 内政部
Judit X·马达拉斯。;谢凯利(Székely,Gergely);迈克·斯坦内特 爱因斯坦相对论原理的三种不同形式。 (英语) 兹比尔1421.03004 版本符号。日志。 10,第3期,530-548(2017).MSC公司:03B30型 03B80号 83A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}等人,Rev.Symb。日志。10,编号3,530-548(2017;兹bl 1421.03004) 全文: 内政部 arXiv公司
帕维尔·G·瑙莫夫。;陶,贾 用于推理经济政策的模态逻辑。 (英语) Zbl 1444.03069号 J.日志。计算。 27,第1号,395-412(2017).MSC公司:03B45号 03B80号 91A80型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Naumov}和\textit{J.Tao},J.Log。计算。27,第1号,395--412(2017;Zbl 1444.03069) 全文: 内政部 链接
里卡多·索萨·西尔维斯特 因果报应理论、决定论、宿命论和意志自由。 (英语) 兹比尔1417.03226 日志。Univers大学。 11,第1期,35-60(2017).MSC公司:03B80号 03A05号 03B44号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Silvestre},日志。Univers大学。11、第1号、第35--60号(2017;Zbl 1417.03226) 全文: 内政部 链接
Teh,Wen Chean先生 拉姆齐代数和形式有序项。 (英语) Zbl 1355.05244号 圣母院J.形式逻辑 58,第1期,115-125(2017).MSC公司:10年5月 17年5月 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Teh},《圣母院J.形式逻辑》58,第1期,第115-125页(2017;Zbl 1355.05244) 全文: 内政部
弗洛德,斯蒂芬 序号和图分解。 (英语) Zbl 1422.03060号 Ann.纯粹应用。逻辑 168,编号4,824-839(2017).MSC公司:03B80号 05C63号 03天80 2015年3月1日 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{S.Flood},Ann.纯应用。逻辑168,No.4,824--839(2017;Zbl 1422.03060) 全文: 内政部
Maicol A.奥乔亚。;安德烈斯·维拉维塞斯 度量层中的量子力学:模型理论方法。 arXiv公司:1702.08642 预印本,arXiv:1702.08642[math.LO](2017)。MSC公司:03B60号 03B80号 03C25号 03C90号 03C98号 81页第10页 2010年第81季度 81系列40 BibTeX公司 引用 \textit{M.A.Ochoa}和\textit{A.Villaveces},“度量层中的量子力学:模型理论方法”,预印本,arXiv:1702.08642[math.LO](2017) 全文: arXiv公司 OA许可证