尼娜·吉拉西姆祖克(编辑);费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。(编辑) 动态逻辑。新趋势和应用。第五届国际研讨会,DaLí2023,格鲁吉亚第比利斯,2023年9月15日至16日。修订了选定的论文。 (英语) Zbl 07815705号 计算机科学课堂讲稿14401。查姆:施普林格(ISBN 978-3-031-51776-1/pbk;978-3-331-51777-8/电子书)。xi,137页。(2024).MSC公司:03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gierasimczuk}(编辑)和\textit{F.R.Velázquez-Quesada}(编辑),动态逻辑。新趋势和应用。第五届国际研讨会,达赖2023年,格鲁吉亚第比利斯,2023年9月15日至16日。修订了选定的论文。查姆:施普林格(2024;Zbl 07815705) 全文: 内政部
扎克·韦伯 悖论和不一致的数学。重印2021年精装版。 (英语) Zbl 07799486号 剑桥:剑桥大学出版社(ISBN 978-1-108-99500-9/pbk;978-1-108-99313-5/电子书)。xii,第325页。(2024).MSC公司:03-01 03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Weber},悖论和不一致数学。重印2021年精装版。剑桥:剑桥大学出版社(2024;Zbl 07799486) 全文: 内政部
契安·多尔;约翰·霍桑;尤哈尼Yli-Vakkuri 可能性的界限。模态变化的困惑(即将出现)。重印2021年精装版。 (英语) Zbl 07749100号 牛津:牛津大学出版社(ISBN 978-0-19-891077-0/pbk)。x、 第436页。(2024).MSC公司:03-02 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dorr}等人,《可能性的界限》。模态变化的困惑(即将出现)。重印2021年精装版。牛津:牛津大学出版社(2024;Zbl 07749100)
阿雷塞斯,卡洛斯(编辑);戴安娜·科斯塔(编辑) 动态逻辑。新趋势和应用。第四届国际研讨会,DaLí2022年,以色列海法,2022年7月31日至8月1日。修订了选定的论文。 (英语) Zbl 07815700号 计算机科学讲义13780。查姆:施普林格(ISBN 978-3-031-26621-8/pbk;978-3-0.31-26622-5/ebook)。xiii,155页。(2023).MSC公司:03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}(编辑)和\textit{D.Costa}(编辑),动态逻辑。新趋势和应用。第四届国际研讨会,达赖2022年,以色列海法,2022年7月31日至8月1日。修订了选定的论文。查姆:施普林格(2023;Zbl 07815700) 全文: 内政部
Lech T.Polkowski。 逻辑:计算机科学家的参考书。第二次修订和扩大版,之前以计算机和数据科学逻辑和人工智能的标题出版。 (英语) Zbl 07782874号 智能系统参考库245.查姆:施普林格(ISBN 978-3-031-42033-7/hbk;978-3-331-42036-8/pbk;988-3-031-142034-4/电子书)。xxxii,461页。(2023).MSC公司:68-01 03-01 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.T.Polkowski},《逻辑:计算机科学家参考书》。第二次修订和扩大版,之前以计算机和数据科学逻辑和人工智能的标题出版。查姆:施普林格(2023;Zbl 07782874) 全文: 内政部
Helle Hvid Hansen先生(编辑);安德烈·斯克洛夫(编辑);de Queiroz,Ruy J.G.B。(编辑) 逻辑、语言、信息和计算。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。 (英语) 兹伯利07768455 计算机科学课堂讲稿13923.查姆:施普林格(ISBN 978-3-031-39783-7/pbk;978-3-331-39784-4/电子书)。xxxviii,395页。(2023).MSC公司:03-06 68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}(编辑)等人,《逻辑、语言、信息和计算》。第29届国际研讨会,WoLLIC 2023,哈利法克斯,NS,加拿大,2023年7月11-14日。诉讼程序。查姆:施普林格(2023;Zbl 07768455) 全文: 内政部
碧姬·品特卡(编辑);塞萨尔·蒂内利(编辑) 自动扣除–CADE 29。第29届自动扣减国际会议,意大利罗马,2023年7月1日至4日。诉讼程序。 (英语) Zbl 07768439号 计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-38498-1/pbk;978-3-0.31-38499-8/电子书)。xxv,592页。,开放存取(2023年)。MSC公司:68-06 03-06 03B35型 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}(编辑)和\textit{C.Tinelli}(主编),自动演绎——CADE 29。第29届自动扣减国际会议,意大利罗马,2023年7月1-4日。诉讼程序。查姆:施普林格(2023;Zbl 07768439) 全文: 内政部
迈克尔·穆尔特加特(编辑);梅赫努什·萨德扎德(编辑) 《亚结构逻辑中的模态程序:逻辑、语言和计算接口的应用》,AMSLO 2023,卢布尔雅那,斯洛文尼亚,2023年8月7日至8日。 (英语) Zbl 1522.03012号 理论计算机科学电子论文集(EPTCS)381.滑铁卢:开放出版协会(OPA)。70页。,仅电子化、开放存取(2023年)。MSC公司:03-06 03B47号 03B65号 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Moortgat}(ed.)和\textit{M.Sadrzadeh}(edi.),《亚结构逻辑中的模态程序:逻辑、语言和计算接口的应用》,AMSLO 2023,卢布尔雅那,斯洛文尼亚,2023年8月7日至8日。滑铁卢:开放出版协会(OPA)(2023;Zbl 1522.03012) 全文: 内政部 arXiv公司 链接
丹尼尔·南特斯·索布里尼奥(编辑);帕斯卡·方丹(编辑) 第17届逻辑和语义框架应用国际研讨会会议记录,LSFA,巴西贝洛奥里藏特,2022年9月23日至24日。 (英语) Zbl 1522.68039号 理论计算机科学电子论文集(EPTCS)376.滑铁卢:开放出版协会(OPA)。99页。,仅电子化、开放存取(2023年)。MSC公司:68-06 03-06 03B70号 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Nantes-Sobrinho}(编辑)和\textit{P.Fontaine}(编),第17届逻辑和语义框架应用国际研讨会论文集,LSFA,巴西贝洛奥里藏特,2022年9月23日至24日。滑铁卢:开放出版协会(OPA)(2023;Zbl 1522.68039) 全文: 内政部 arXiv公司 链接
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1522.68013) 全文: 内政部 链接
安德烈亚斯·赫齐格(编辑);罗洁婷(编辑);佩雷·帕尔多(编辑) 逻辑和论证。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。 (英语) 兹比尔1528.03006 计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-40874-8/pbk;978-3-331-40875-5/电子书)。xx,225页。(2023).MSC公司:03-06 68-06 03B70号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Herzig}(编辑)等,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。查姆:斯普林格(2023;Zbl 1528.03006) 全文: 内政部
吉安卢卡·德拉·维多瓦(编辑);Besik Dundua(编辑);斯泰芬·伦普(编辑);弗罗林·马内亚(编辑) 逻辑和计算的统一。第19届欧洲可计算性会议,2023年7月24日至28日,格鲁吉亚巴统,CiE 2023。诉讼程序。 (英语) Zbl 1528.68022号 计算机科学课堂讲稿13967.查姆:施普林格(ISBN 978-3-031-36977-3/pbk;978-3-331-36978-0/电子书)。李,297页。(2023).MSC公司:68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Della Vedova}(编辑)等人,《逻辑与计算的统一》。第19届欧洲可计算性会议,2023年7月24日至28日,佐治亚州巴统市,CiE 2023。诉讼程序。查姆:斯普林格(2023;Zbl 1528.68022) 全文: 内政部
迪莉娅·凯斯纳(编辑);皮埃尔·马里·佩德罗(编辑) 第28届国际校样和程序类型会议,types 2022,LS2N,南特大学,法国,2022年6月20日至25日。 (英语) 兹比尔1517.68019 LIPIcs–莱布尼茨国际信息学会议录269.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-285-3)。vii,15篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}(ed.)和\textit{P.-M.Pédrot}(edi.),第28届证明和程序类型国际会议,types 2022,LS2N,南特大学,法国,2022年6月20日至25日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1517.68019) 全文: 内政部 链接
马可·加博阿迪(编辑);范·拉姆斯东克(Femke van Raamsdonk)(编辑) 第八届计算和扣除正式结构国际会议,FSCD 2023,意大利罗马,2023年7月3日至6日。 (英语) Zbl 1518.68012号 LIPIcs–莱布尼茨国际信息学会议录260.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)(ISBN 978-3-95977-277-8)。xvii,34篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gaboardi}(ed.)和\textit{F.van Raamsdonk}(edi.),第八届计算和演绎形式结构国际会议,FSCD 2023,意大利罗马,2023年7月3-6日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1518.68012) 全文: 内政部 链接
瓦伦丁·戈兰科 时间逻辑。 (英语) Zbl 07720292号 哲学和逻辑要素剑桥:剑桥大学出版社(ISBN 978-1-00-917010-9/pbk;978-1-00.917009-3/电子书)。第102页。(2023).MSC公司:03-02 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko},时间逻辑。剑桥:剑桥大学出版社(2023;Zbl 07720292) 全文: 内政部
斯科特·泰勒。 数学导论。数量、空间和结构。 (英语) Zbl 1521.00001号 纯应用型本科教材62.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-7188-0/pbk;978-1-4740-7416-4/电子书)。第二十六章,第415页。(2023).MSC公司:00-01号 00A35型 00A05号 03B10号机组 03年3月30日 03-01 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Taylor},数学导论。数量、空间和结构。普罗维登斯,RI:美国数学学会(AMS)(2023;Zbl 1521.00001)
斯特凡妮娅·森特隆;克劳斯·美因泽 时间逻辑。从哲学和证明理论到人工智能和量子计算。 (英语) Zbl 07707373号 新加坡:世界科学(ISBN 978-981-12-6853-3/hbk;978-981-12-6855-7/电子书)。(2023).MSC公司:03-01 03B44号 03B70号 PDF格式BibTeX公司 XML格式 全文: 内政部
莫华·班纳吉(编辑);A.V.Sreejith。(编辑) 逻辑及其应用。第十届印度会议,ICLA 2023,印度印多尔,2023年3月3日至5日。诉讼程序。 (英语) Zbl 1517.03002号 计算机科学课堂讲稿13963.查姆:施普林格(ISBN 978-3-031-26688-1/pbk;978-3-331-26689-8/电子书)。x、 第223页。(2023).MSC公司:03-06 03Bxx号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banerjee}(编辑)和\textit{A.V.Sreejith}(主编),《逻辑及其应用》。第十届印度会议,ICLA 2023,印度印多尔,2023年3月3-5日。诉讼程序。查姆:施普林格(2023;Zbl 1517.03002) 全文: 内政部
邓盾(编辑);刘明明(编辑);达格·韦斯特斯特尔(编辑);谢凯波(编辑) 逻辑和语言的动态。第三届清华大学逻辑、语言和意义跨学科研讨会,TLLM 2022,虚拟事件,2022年4月1日至4日。修订了选定的论文。 (英语) Zbl 1517.03003号 计算机科学课堂讲稿13524.查姆:施普林格(ISBN 978-3-031-25893-0/pbk;978-3-331-25894-7/电子书)。ix,189页。(2023).MSC公司:03-06 91-06 03B65号 91层20 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Deng}(编辑)等,《逻辑和语言中的动力学》。第三届清华大学逻辑、语言和意义跨学科研讨会,TLLM 2022,虚拟事件,2022年4月1-4日。修订了选定的论文。查姆:施普林格(2023;Zbl 1517.03003) 全文: 内政部
苏西米塔Bandyopadhyay 决策支持系统。工具和技术。 (英语) Zbl 07681229号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-30992-7/hbk;978-1-032.31022-0/pbk;978-1-003-30765-5/电子书)。(2023).MSC公司:91-02 91B06型 90B50型 03B52号 60J20型 PDF格式BibTeX公司 XML格式 全文: 内政部
李伟;隋、岳飞 R演算。四: 命题逻辑。 (英语) Zbl 07677430号 形式归纳、修正和进化的观点北京:科学出版社;新加坡:施普林格出版社(ISBN 978-981-19-8632-1/hbk;978-981-19-8635-2/pbk)。xiii,第252页。(2023).MSC公司:03-02 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{Y.Sui},R-演算。四: 命题逻辑。北京:科学出版社;新加坡:施普林格(2023;Zbl 07677430) 全文: 内政部
Farmer,William M。 简单类型理论。表达和推理数学思想的实用逻辑。 (英语) Zbl 1515.03002号 计算机科学基础与应用逻辑查姆:Birkhä用户(ISBN 978-3-031-21111-9/hbk;978-3-331-21114-0/pbk;978-1-3031-21112-6/电子书)。xiv,295页。(2023).MSC公司:03-01 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},简单类型理论。表达和推理数学思想的实用逻辑。查姆:Birkhäuser(2023;Zbl 1515.03002) 全文: 内政部
巴托克·克林(编辑);伊莱恩·皮门特尔(编辑) 第31届EACSL计算机科学逻辑年会,CSL 2023年,CSL 2020年,2023年2月13日至16日,波兰华沙。 (英语) Zbl 1507.68038号 LIPIcs–莱布尼茨国际信息学会议录252.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-264-8)。xviii,38篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}(编辑)和\textit{E.Pimentel}(编),第31届EACSL计算机科学逻辑年会,CSL 2023,CSL 2020,2023年2月13-16日,波兰华沙。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1507.68038) 全文: 内政部 链接
迈克尔·沃尔夫 关于逻辑原理的论述。逻辑一元论的辩护。第三修订版。(Abhandlungüber die Prinzipien der Logik.Eine Verteidigung des logischen Monismus) (德语) Zbl 1515.03005号 哲学家Abhandlungen121.美因河畔法兰克福:维托里奥·克罗斯特曼(ISBN 978-3-465-04615-8/pbk;978-3-455-13639-2/ebook)。第22页,第454页。(2023).MSC公司:03-01 03A05号 03B10号机组 03B60号 03-03 03-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Wolff},Abhandlungüber die Prinzipien der Logik(阿布汉德隆·贝尔)。Eine Verteidigung des logischen Monismus公司。第三修订版。美因河畔法兰克福:Vittorio Klostermann(2023年;兹bl 1515.03005)
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 (英语) Zbl 07662225号 新加坡:世界科学(ISBN 978-981-12-6066-7/hbk;978-981-12-6068-1/电子书)。(2023).MSC公司:68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 第68季度第45季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式 全文: 内政部
迈克尔·沃尔夫 关于逻辑原理的论文。逻辑一元论的辩护。W.Clark Wolf译自德语。 (英语) Zbl 07658437号 柏林:De Gruyter(ISBN 978-3-11-078486-2/hbk;978-3-11-078493-0/电子书)。第22页,第396页。(2023).MSC公司:03-02 03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wolff},逻辑原理论文。逻辑一元论的辩护。W.Clark Wolf译自德语。柏林:De Gruyter(2023;Zbl 07658437) 全文: 内政部
格雷格·雷斯塔尔;肖恩·斯坦德弗 逻辑方法。 (英语) Zbl 1504.03002号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-54484-9/pbk;978-0-262/37270-1/电子书)。xiv,270页。(2023).MSC公司:03-01 03Bxx号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Restall}和\textit{S.Standefer},逻辑方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 1504.03002)
罗伯特·斯坦纳克 主张。本体论和逻辑。 (英语) Zbl 07645443号 罗格斯大学哲学讲座牛津:牛津大学出版社(ISBN 978-0-19-764703-5/hbk;978-0-19-19-764706-6/电子书)。十六、196页。(2023).MSC公司:03-02 03A05号 03B42型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Stalnaker},命题。本体论和逻辑。牛津:牛津大学出版社(2023;Zbl 07645443) 全文: 内政部
伊恩·普拉特·哈特曼 一阶逻辑片段。 (英语) Zbl 07645439号 牛津逻辑指南56.牛津科学出版社。牛津:牛津大学出版社(ISBN 978-0-19-286796-4/hbk;978-0-19-196006-2/电子书)。十六、650页。(2023).MSC公司:03-01 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},一阶逻辑片段。牛津科学出版物。牛津:牛津大学出版社(2023;Zbl 07645439) 全文: 内政部
Daniel W.坎宁安。 数学逻辑。引言。 (英语) Zbl 07626603号 德格鲁伊特教科书柏林:De Gruyter(ISBN 978-3-11-078201-1/pbk;978-3-12-078207-3/电子书)。xiii,256页。(2023).MSC公司:03-01 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{D.W.坎宁安},数理逻辑。介绍。柏林:De Gruyter(2023;Zbl 07626603) 全文: 内政部
米莱蒂,约瑟夫 现代数学逻辑。 (英语) Zbl 07553161号 剑桥数学教科书剑桥:剑桥大学出版社(ISBN 978-1-108-83314-1/hbk;978-1-108-197310-6/电子书)。xiv,502页。(2023).MSC公司:03-01 03B05号 03B10号机组 03Cxx号 03E10年 03年3月30日 03年月日 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Mileti},《现代数理逻辑》。剑桥:剑桥大学出版社(2023;Zbl 07553161) 全文: 内政部
科里亚语格拉彻 三次否定。对经典否定、次一致否定和次完全否定的研究。(Três vezes não Um estudo sobre as negações clássica,paraconsistente e paracompleta) (葡萄牙语) Zbl 1522.03002号 Logica e Filosofia的Cadernos de Lógica e2.伦敦:学院出版物(ISBN 978-1-84890-392-0)。xiv,235页。(2022).MSC公司:03-01 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{K.Gracher},Trás vezes náo。Um estudo sobre as negaçóes clássica,paraconsistente e paracompleta(葡萄牙语)。伦敦:学院出版物(2022;Zbl 1522.03002)
德西奥·克劳斯 科学学科的公理基础。(Fundamentos axiomáticos是学科科学。) (葡萄牙语) Zbl 1522.03003号 Logica e Filosofia的Cadernos de Lógica e3.伦敦:学院出版物(ISBN 978-1-84890-417-0)。第xx页,第346页。(2022).MSC公司:03-02 03B30型 81第05页 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.Krause},Fundamentos axiomáticos das disciplinas cinficas(葡萄牙语)。伦敦:学院出版物(2022;Zbl 1522.03003)
路易斯·麦克纳利(编辑);佐尔坦,Gendler Szabó(编辑) 正式语义学经典论文的读者指南。语言学和哲学研究第100卷。 (英语) Zbl 1515.03018号 语言学和哲学研究100.查姆:施普林格(ISBN 978-3-030-85307-5/hbk;978-3-0.30-85310-5/pbk;979-3-030-8508-2/电子书)。xii,433页。(2022).MSC公司:03-06 91-06 03B65号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{L.McNally}(编辑)和textit{Z.Gendler Szabó}(主编),形式语义学经典论文读者指南。语言学和哲学研究第100卷。查姆:斯普林格(2022;Zbl 1515.03018) 全文: 内政部
Wybraniec-Skardowska,Urszula B。 逻辑-语言-本体。精选作品。 (英语) Zbl 07671858号 泛逻辑研究Birkhä用户:Springer(ISBN 978-3-031-22329-7/hbk;978-3-331-22332-7/pbk;978-12-031-22330-3/电子书)。xiii,300页。(2022).MSC公司:03-02 03-06 03A05号 03B65号 00B60号 PDF格式BibTeX公司 XML格式引用 \textit{U.B.Wybraniec-Skardowska},逻辑——语言——本体论。精选作品。Birkhäuser:施普林格(2022;Zbl 07671858) 全文: 内政部
保罗·麦克纳马拉(编辑);安德鲁·琼斯(Andrew J.I.Jones)。(编辑);布朗,马克·A。(编辑) 代理、规范、调查和文物:纪念里斯托·希尔皮宁的论文。 (英语) Zbl 1515.03019号 合成库454.查姆:施普林格(ISBN 978-3-030-90748-8/hbk;978-3-0.30-90751-8/pbk;978-10-90749-5/ebook)。x、 第259页。(2022).MSC公司:03-06 03A05号 03B45号 03B70号 01A70号 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.McNamara}(编辑)等人,《机构、规范、调查和文物:纪念里斯托·希尔皮宁的文章》。查姆:斯普林格(2022;Zbl 1515.03019) 全文: 内政部
科林·艾伦;迈克尔·汉德 逻辑入门。第三版。 (英语) Zbl 1503.03001号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-54364-4/pbk)。第十五卷,155页。(2022).MSC公司:03-01 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{C.Allen}和\textit{M.Hand},逻辑入门。第三版。马萨诸塞州剑桥:麻省理工学院出版社(2022;Zbl 1503.03001)
贾亚德夫·米斯拉 编程实践中的有效理论。 (英语) 兹比尔1503.68006 ACM图书47.纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9973-9/hbk;978-1-450.3-9971-5/pbk;97 8-1-4503-4974-6/电子书)。第xx页,第541页。(2022).MSC公司:68-01 03B70号 68号30 68页第10页 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},编程实践中的有效理论。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1503.68006)
第52届IEEE多值逻辑国际研讨会论文集,ISMVL 2022,美国德克萨斯州达拉斯,2022年5月18日至20日。 (英语) Zbl 1502.94005号 加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-6654-2395-3)。xi,195页。(2022).MSC公司:94-06 03-06 03B50号 94C11号机组 00B25型 PDF格式BibTeX公司 XML格式引用 第52届IEEE多值逻辑国际研讨会论文集,ISMVL 2022,达拉斯,德克萨斯州,美国,2022年5月18-20日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(2022;Zbl 1502.94005) 全文: 内政部
奥德修斯·马克里迪斯 符号逻辑。 (英语) Zbl 1507.03001号 今天的帕尔格雷夫哲学.商会:Palgrave Macmillan(ISBN 978-3-030-67395-6/pbk;978-3-030-67396-3/ebook)。v、 第492页。(2022).MSC公司:03-01 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Makridis},符号逻辑。查姆:帕尔格雷夫·麦克米伦(Palgrave Macmillan)(2022;Zbl 1507.03001) 全文: 内政部
尼古拉斯·加拉托斯(编辑);川崎捷瑞(编辑) 小野博之谈子结构逻辑。 (英语) Zbl 1515.03014号 对逻辑的杰出贡献23.查姆:施普林格出版社(ISBN 978-3-030-76919-2/hbk;978-3-0.30-76922-2/pbk;978-10-76920-8/电子书)。xii,275页。(2022).MSC公司:03-06 03A05号 03Bxx号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}(编辑)和\textit{K.Terui}(编辑),Hirakira Ono关于子结构逻辑。查姆:斯普林格(2022;Zbl 1515.03014) 全文: 内政部
亚历山大·阿提基斯(编辑);罗伯托·波塞纳托(编辑);斯特凡诺·托内塔(编辑) 第29届时间表征与推理国际研讨会(TIME 2022),虚拟会议,2022年11月7日至9日。 (英语) Zbl 1502.68018号 LIPIcs–莱布尼茨国际信息学会议录247.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik(ISBN 978-3-95977-262-4)。xiv,15篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第29届时间表征与推理国际研讨会(TIME 2022),虚拟会议,2022年11月7-9日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2022;Zbl 1502.68018) 全文: 内政部 链接
蝉蜕、阿加塔(编辑);伊莱恩·皮门特尔(编辑);de Queiroz,Ruy J.G.B。(编辑) 逻辑、语言、信息和计算。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。 (英语) Zbl 1511.03002号 计算机科学课堂讲稿13468.查姆:施普林格(ISBN 978-3-031-15297-9/pbk;978-3-331-15298-6/电子书)。xxix,411页。(2022).MSC公司:03-06 68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格(2022;Zbl 1511.03002) 全文: 内政部
劳拉·沃思 加权自动机、形式幂级数和加权逻辑。 (英语) Zbl 1498.68005号 最佳大师。威斯巴登:施普林格·斯佩克特伦;康斯坦兹:康斯坦兹大学(硕士论文)(ISBN 978-3-658-39322-9/pbk;978-3-558-39323-6/ebook)。xi,第190页。(2022).MSC公司:68-02 03B70号 05年3月 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Wirth},加权自动机,形式幂级数和加权逻辑。威斯巴登:施普林格演讲;康斯坦兹:康斯坦兹大学(硕士论文)(2022;Zbl 1498.68005) 全文: 内政部
伯特兰·罗素 [迈克尔·波特] 一篇关于几何学基础的论文。迈克尔·波特的新前言。重印1897年版。 (英语) Zbl 1520.51001号 副标题.米尔顿公园,阿宾顿:劳特利奇(ISBN 978-1-032-31264-4/hbk;978-1-032-31226-2/pbk;978-1-003-30887-4/ebook)。十八、221页。(2022).MSC公司:51-02 03-02 00A30型 03B35型 第51页第05页 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{B.Russell},一篇关于几何学基础的文章。迈克尔·波特的新前言。重印1897年版。米尔顿公园,阿宾顿:劳特利奇(2022;Zbl 1520.51001) 全文: 内政部
詹·劳赫;Šimůnek,米兰;大卫·丘丹;Máša,佩特 机械化假说的形成。原则和案例研究。 (英语) Zbl 1502.68011号 佛罗里达州博卡拉顿:CRC出版社/科学出版社(ISBN 978-0-367-54980-0/hbk;978-1-003-09144-8/电子书)。十六、第345页。(2022).MSC公司:68-02 62-02 03B35型 62D20型 62H15型 62小时17分 62H20个 62兰特 68T05型 68T09号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rauch}等人,机械化假说形成。原则和案例研究。佛罗里达州博卡拉顿:CRC出版社/科学出版社(2022;Zbl 1502.68011) 全文: 内政部
沙希德·拉赫曼(编辑);马蒂亚斯·阿姆加特(编辑);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型 91F99型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Rahman}(编辑)等人,法律推理和逻辑的新发展。从古代法律到现代法律制度。基于2018年6月21日至26日在法国维希举行的逻辑、法律和法律推理研讨会。查姆:施普林格(2022;Zbl 1527.03001) 全文: 内政部
弗朗西斯科·弗朗西斯科 思考主题。知识、信仰、想象的逻辑。 (英语) Zbl 07606522号 牛津:牛津大学出版社(ISBN 978-0-19-285749-1/hbk;978-0-19-194827-5/电子书)。xi,第229页。,开放存取(2022年)。MSC公司:03-02 03B42型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{F.Francesco},思想主题。知识、信仰、想象的逻辑。牛津:牛津大学出版社(2022;Zbl 07606522) 全文: 内政部
亚历克斯·西特金;阿列克谢·穆拉维茨基 后果关系。Lindenbaum-Tarski方法简介。 (英语) Zbl 07606521号 牛津逻辑指南55.牛津:牛津大学出版社(ISBN 978-0-19-286641-7/hbk;978-0-19-195729-1/ebook)。xv,第336页。(2022).MSC公司:03-01 03Bxx号 03G25 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin}和\textit{A.Muravitsky},后果关系。Lindenbaum-Tarski方法简介。牛津:牛津大学出版社(2022;Zbl 07606521) 全文: 内政部
贝诺·莫宁;卢多维奇·佩蒂 可计算性。随机性、逆向数学和超可计算性。(Calculabilité.Aléatoire,mathematiquesárebours et hypercalculabiliteé) (法语) Zbl 1516.03001号 黑Tableau107.巴黎:Calvage et Mounet(ISBN 978-2-916352-96-1/hbk)。第二十二、828页。(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03-01 68-01 03年月日 03B10号机组 03C07号机组 03B30型 35楼03号 03F40型 03天80 04年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{L.Patey},计算学。Aléatoire,数学题与高可计算性。巴黎:Calvage et Mounet(2022;Zbl 1516.03001)
海宁·巴索尔德(编辑);杰斯珀·考克斯(编辑);西尔维娅·吉勒赞(编辑) 第27届国际校样和程序类型会议,types 2021,荷兰莱顿,虚拟会议,2021年6月14-18日。 (英语) Zbl 1494.68007号 LIPIcs–莱布尼茨国际信息学会议录239.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-254-9)。vii,12篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}(ed.)等人,第27届国际校样和程序类型会议,types 2021,荷兰莱顿,虚拟会议,2021年6月14-18日。Wadern:达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2022;Zbl 1494.68007) 全文: 内政部 链接
Fernández Duque,大卫(编辑);亚历山德拉·帕尔米吉亚诺(编辑);苏菲·平奇纳特(编辑) 模态逻辑的进展。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。 (英语) Zbl 1505.03004号 伦敦:学院出版物(ISBN 978-1-84890-413-2)。xii,739页。(2022).MSC公司:03-06 03B45号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}(编辑)等人,《模态逻辑的进展》。第14卷。第14届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:学院出版物(2022;Zbl 1505.03004)
比姆博,卡塔林(编辑) 关联逻辑和其他推理工具。纪念J.迈克尔·邓恩的论文。 (英语) Zbl 1496.03006号 致敬46.伦敦:学院出版物(ISBN 978-1-84890-395-1)。viii,463页。(2022).MSC公司:03-06 03B47号 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}(编辑),关联逻辑和其他推理工具。纪念J.迈克尔·邓恩的论文。伦敦:学院出版物(2022;Zbl 1496.03006)
卡尔·施莱赫塔 真理与知识。 (英语) Zbl 1504.03004号 逻辑研究(伦敦)93.逻辑和论证研究。伦敦:学院出版物(ISBN 978-1-84890-403-3/pbk)。204页。(2022).MSC公司:03-02 03A05号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{K.Schlechta},真理与知识。伦敦:学院出版物(2022;Zbl 1504.03004) 全文: arXiv公司
之前,Arthur N。 过去、现在和未来。Manuel González Riquelme翻译自英语。(帕萨多,未来。) (西班牙语) Zbl 1502.03002号 卢吉卡省,认识论和伦瓜耶19.伦敦:学院出版物(ISBN 978-1-84890-409-5/pbk)。254页。(2022).MSC公司:03-02 03-03 03Bxx号 01A75号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Priori},Pasado,presente y futuro(西班牙语)。伦敦:学院出版物(2022;Zbl 1502.03002)
克里斯特尔·拜尔(编辑);达纳·菲斯曼(编辑) 2022年第37届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2022,以色列海法,2022年8月2-5日。 (英语) Zbl 1492.03002号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9351-5)。xiii,30条(2022年)。MSC公司:03-06 03B70号 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{D.Fisman}(编辑),2022年第37届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2022,以色列海法,2022年8月2日至5日。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1492.03002) 全文: 内政部
李伟;隋、岳飞 R演算。三、 后三值逻辑。 (英语) Zbl 1525.03001号 形式归纳、修订和演变的视角北京:科学出版社;新加坡:Springer(ISBN 978-981-19-4269-3/hbk;978-981-9-4272-3/pbk;988-981-19-19-4270-9/电子书)。xii,273页。(2022). 审核人:Albert Hoogewijs(根特) MSC公司:03-02 03B50号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{Y.Sui},R-演算。三、 后三值逻辑。北京:科学出版社;新加坡:Springer(2022;Zbl 1525.03001) 全文: 内政部
达米尔·扎法罗夫。;卡尔·穆默特 逆向数学。问题、约简和证明。 (英语) Zbl 07571046号 可计算性理论与应用查姆:施普林格(ISBN 978-3-031-11366-6/hbk;978-3-331-11369-7/pbk;978-1031-11367-3/电子书)。xix,488页。(2022).MSC公司:03-01 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov}和\textit{C.Mummert},逆向数学。问题、约简和证明。查姆:施普林格(2022;Zbl 07571046) 全文: 内政部
艾米·费尔蒂(Amy P.Felty)。(编辑) 第七届计算和扣除正式结构国际会议,FSCD 2022,以色列海法,2022年8月2-5日。 (英语) Zbl 1491.68017号 LIPIcs–莱布尼茨国际信息学会议录228.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-233-4)。xvii,32篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Felty}(编辑),第七届计算和演绎形式结构国际会议,FSCD 2022,以色列海法,2022年8月2-5日。Wadern:达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔信息(Leibniz-Zentrum für Informatik)(2022;Zbl 1491.68017) 全文: 内政部 链接
拉尔夫·詹金斯 认知规范逻辑的协议理论框架。 (英语) 兹比尔07556600 合成库467.查姆:施普林格(ISBN 978-3-031-08596-3/hbk;978-3-331-08597-0/电子书)。第22页,第526页。(2022).MSC公司:03-01 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Jenkins},认知规范逻辑的原型理论框架。查姆:施普林格(2022;Zbl 07556600) 全文: 内政部
Gonczarowski,Yannai A。;诺姆·尼桑 通过Python实现数学逻辑。 (英语) Zbl 1495.03001号 剑桥:剑桥大学出版社(ISBN 978-1-108-84507-6/hbk;978-1-108-194947-7/pbk;978-1-108-95446-4/电子书)。xii,272页。(2022).MSC公司:03-01 03-04 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Gonczarowski}和\textit{N.Nisan},通过Python实现数学逻辑。剑桥:剑桥大学出版社(2022;Zbl 1495.03001) 全文: 内政部
安德烈·因德泽扎克(Andrzej Indrzejczak)(编辑);Micha Zawidzki(编辑) 第十届非经典逻辑国际会议论文集。理论与应用,Łód罗兹,波兰,2022年3月14日至18日。 (英语) Zbl 1489.03003号 理论计算机科学电子论文集(EPTCS)358.滑铁卢:开放出版协会(OPA)。第309页。(2022).MSC公司:03-06 03Bxx号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak}(编辑)和\textit{M.Zawidzki}(编),第十届非经典逻辑国际会议论文集。理论与应用,Łód罗兹,波兰,2022年3月14日至18日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1489.03003) 全文: 内政部 链接
毛里西奥·阿亚拉·里科(编辑);爱德华多·博内利(编辑) 第16届逻辑和语义框架及应用国际研讨会论文集,LSFA,阿根廷布宜诺斯艾利斯,在线,2021年7月23日至24日。 (英语) 兹比尔1489.68006 理论计算机科学电子论文集(EPTCS)357.滑铁卢:开放出版协会(OPA)。111页。,仅电子化、开放存取(2022年)。MSC公司:68-06 03-06 03B70号 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincon}(ed.)和\textit{E.Bonelli}(edi.),逻辑和语义框架及其应用第16届国际研讨会论文集,LSFA,阿根廷布宜诺斯艾利斯,在线,2021年7月23日至24日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1489.68006) 全文: 内政部 链接
亚历克斯·西特金(编辑);瓦杜拉基斯,约阿尼丝(编辑) V.A.Yankov谈非经典逻辑、历史和数学哲学。 (英语) Zbl 1506.03006号 对逻辑的杰出贡献24.查姆:施普林格(ISBN 978-3-031-06842-3/hbk;978-3-331-06845-4/pbk;978-13-031-04843-0/ebook)。xi,第313页。(2022).MSC公司:03-06 03A05号 03Bxx号 03G25 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin}(编辑)和textit{I.Vandoulakis}(主编),V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:斯普林格(2022;Zbl 1506.03006) 全文: 内政部
伊万诺·齐亚德利 好奇的逻辑。问题领域的结果和推理。 (英语) 兹伯利07538919 逻辑趋势——Studia Logica图书馆60.查姆:施普林格(ISBN 978-3-031-09705-8/hbk;978-3-331-09708-9/pbk;978-1-031-09706-5/电子书)。第xx页,第272页。,开放存取(2022年)。MSC公司:03-02 03B45号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli},《探究逻辑》。问题领域中的结果和推论。查姆:施普林格(2022;Zbl 07538919) 全文: 内政部
斯特凡妮亚·托马西耶洛;维托尔德·佩德里茨;文森佐·洛亚 当代模糊逻辑。Scilab的模糊逻辑透视。 (英语) Zbl 07531326号 大型集成人工智能1.查姆:施普林格(ISBN 978-3-030-98973-6/hbk;978-3-0.30-98976-7/pbk;978-10-98974-3/ebook)。xi,第136页。(2022).MSC公司:03-01 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Tomasiello}等人,《当代模糊逻辑》。用Scilab透视模糊逻辑。查姆:施普林格(2022;Zbl 07531326) 全文: 内政部
艾比克·厄兹根(编辑);尤利娅·齐诺瓦(编辑) 语言、逻辑和计算。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。 (英语) Zbl 1494.03010号 计算机科学课堂讲稿13206.人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-030-98478-6/pbk;978-3-0.30-98479-3/ebook)。十六、355页。(2022).MSC公司:03-06 03Bxx号 68T50型 91层20 00B25型 PDF格式BibTeX公司 XML格式引用 \《语言、逻辑和计算》。2019年9月16日至20日,格鲁吉亚巴统,第13届第比利斯国际研讨会,TbiLLC 2019。修订了选定的论文。查姆:施普林格(2022;Zbl 1494.03010) 全文: 内政部
基登斯、克利斯朵夫;洛伦兹·德米 瓦伦西内斯的约翰·法布里的模态逻辑(约1500年)。基于标记的语义学研究。 (英语) Zbl 07504599号 斯普林格哲学简介新加坡:施普林格出版社(ISBN 978-3-030-98801-2/pbk;978-3-030-98802-9/ebook)。六、113页。(2022).MSC公司:03-03 01A40型 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Geudens}和\textit{L.Demey},瓦伦西内斯的约翰·法布里的模态逻辑(约1500年)。基于标记的语义学研究。新加坡:施普林格(2022;Zbl 07504599) 全文: 内政部
珍妮·伊夫·贝齐奥(编辑);Jean-Pierre Descés(编辑);阿米鲁什·莫克特菲(编辑);安卡·克里斯汀·帕斯库(编辑) 逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。 (英语) Zbl 1515.03009号 泛逻辑研究查姆:Birkhä用户(ISBN 978-3-030-94451-3/hbk;978-3-0.30-94454-4/pbk;978-1-030-94452-0/电子书)。xiii,750页。(2022).MSC公司:03-06 03-03 03A05号 03Bxx号 01A25号 01A55号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau}(编辑)等,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser(2022;Zbl 1515.03009) 全文: 内政部
彼得·卢德洛;萨索·伊万诺维奇 语言、形式和逻辑。追求自然逻辑的圣杯。 (英语) 兹比尔07498872 牛津:牛津大学出版社(ISBN 978-0-19-959153-4/hbk)。xiii,429页。(2022). 审核人:吉姆·麦肯齐(悉尼) MSC公司:03-02 03-03 03B65号 01A35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ludlow}和\textit{S.üivanović},语言、形式和逻辑。追求自然逻辑的圣杯。牛津:牛津大学出版社(2022;Zbl 07498872) 全文: 内政部
谢尔盖·阿特莫夫(编辑);尼禄,阿尼尔(编辑) 计算机科学的逻辑基础。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。 (英语) Zbl 1490.03004号 计算机科学课堂讲稿13137.商会:施普林格出版社(ISBN 978-3-030-93099-8/pbk;978-3-030-93100-1/ebook)。x、 第377页。(2022).MSC公司:03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}(编辑)和\textit{A.Nerode}(主编),计算机科学的逻辑基础。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:施普林格(2022;Zbl 1490.03004) 全文: 内政部
库尔比斯,尼尔斯(编辑);巴赫拉姆·阿萨迪安(编辑);乔纳森·纳西姆(编辑) 知识、数字和现实。与基思·霍萨克(Keith Hossack)的作品相遇。 (英语) Zbl 1496.03002号 伦敦:布卢姆斯伯里出版社(ISBN 978-1-350-18643-9/hbk;978-1-3500-18649-1/pbk;978-1-350-18644-6/电子书)。viii,第232页。(2022).MSC公司:03-02 03A05号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurbis}(编辑)等人,《知识、数字和现实》。与基思·霍萨克(Keith Hossack)的作品相遇。伦敦:布卢姆斯伯里出版社(2022;Zbl 1496.03002)
弗罗林·马内亚(编辑);亚历克斯·辛普森(编辑) 第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。 (英语) Zbl 1482.68033号 LIPIcs–莱布尼茨国际信息学会议录216.瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-95977-218-1)。xix,37篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Manea}(编辑)和\textit{A.Simpson}(编辑),第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14日至19日。瓦登:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2022;Zbl 1482.68033) 全文: 内政部 链接
约翰·L·贝尔。 高阶逻辑和类型理论。 (英语) Zbl 07485770号 哲学与逻辑要素剑桥:剑桥大学出版社(ISBN 978-1-108-98690-8/pbk;978-1-108/98180-4/电子书)。第79页。(2022).MSC公司:03-01 03Bxx号 PDF格式BibTeX公司 XML格式引用 \文本{J.L.贝尔},高阶逻辑和类型理论。剑桥:剑桥大学出版社(2022;Zbl 07485770) 全文: 内政部
本杰明·艾伦·伯吉斯 逻辑没有缺口或过剩。如何在不牺牲经典逻辑的前提下解决悖论。 (英语) Zbl 07485041号 合成库458.查姆:施普林格(ISBN 978-3-030-94623-4/hbk;978-3-0030-94624-1/电子书)。vii,189页。(2022).MSC公司:03-02 03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Burgis},逻辑没有间隙或过剩。如何在不牺牲经典逻辑的前提下解决悖论。查姆:施普林格(2022;Zbl 07485041) 全文: 内政部
李伟;隋、岳飞 R演算。二、。多值逻辑。 (英语) Zbl 1516.03002号 形式归纳、修正和进化的观点北京:科学出版社;新加坡:Springer(ISBN 978-981-16-9293-2/hbk;978-981-16-9296-3/pbk;978-16-9294-9/电子书)。xiii,271页。(2022). 审核人:Albert Hoogewijs(性别) MSC公司:03-02 03B42型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{Y.Sui},R-演算。二、。多值逻辑。北京:科学出版社;新加坡:Springer(2022;Zbl 1516.03002) 全文: 内政部
斯图尔特·夏皮罗;特蕾莎·库里·基塞尔 经典一阶逻辑。 (英语) Zbl 07455978号 哲学和逻辑要素剑桥:剑桥大学出版社(ISBN 978-1-108-98700-4/pbk;978-1-108-198200-9/电子书)。第71页。(2022).MSC公司:03-01 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Shapiro}和\textit{T.Kouri Kissel},经典一阶逻辑。剑桥:剑桥大学出版社(2022;Zbl 07455978) 全文: 内政部
Lech T.Polkowski。 计算机和数据科学的逻辑学,以及人工智能。 (英语) Zbl 1498.68003号 计算智能研究992.查姆:施普林格(ISBN 978-3-030-91679-4/hbk;978-3-0030-91680-0/电子书)。十八、362页。(2022). 审核人:埃里克·马丁(悉尼) MSC公司:68-01 03-01 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.T.Polkowski},计算机和数据科学的逻辑学,以及人工智能。商会:施普林格(2022;兹比尔1498.68003) 全文: 内政部
洛恩·法肯斯坦;斯科特·斯塔普福德;莫莉·高 逻辑起作用。形式逻辑的严格介绍。 (英语) 兹比尔1491.03001 纽约州纽约市:Routledge(ISBN 978-0-367-46030-3/hbk;978-0-3657-46029-7/pbk;978-1-003-02653-2/电子书)。xx,645页。(2022).MSC公司:03-01 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{L.Falkenstein}等人,《逻辑工作》。对形式逻辑的严格介绍。纽约州纽约市:Routledge(2022;Zbl 1491.03001) 全文: 内政部
恩里克·特里拉斯;塞蒂莫·特米尼;马可·埃利奥·塔巴奇 推理和语言在工作中。一篇评论文章。 (英语) Zbl 1495.68008号 计算智能研究991.查姆:施普林格(ISBN 978-3-030-86087-5/hbk;978-3-0.30-86090-5/pbk;979-3-030-87088-2/ebook)。第二十三章,108页。(2022). 审核人:埃斯科·图伦(坦佩雷) MSC公司:68-02 03B52号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Trillas}等人,《推理和工作中的语言》,一篇评论文章。查姆:施普林格(2022;Zbl 1495.68008) 全文: 内政部
斯特凡妮娅·森特隆;皮埃尔路易吉·米纳里 [奥斯卡·贝克尔] 奥斯卡·贝克尔,论形态的逻辑(1930):翻译、评论和分析。 (英语) Zbl 07414794号 合成库444.查姆:施普林格出版社(ISBN 978-3-030-87547-3/hbk;978-3-0.30-87550-3/pbk;978-10-87548-0/电子书)。xii,第157页。(2022).MSC公司:03-03 03B45号 01A60型 PDF格式BibTeX公司 XML格式引用 \文本{S.Centrone}和文本{P.Minari},奥斯卡·贝克尔,文本{On the logic of models(1930):翻译、评论和分析。查姆:施普林格(2022;Zbl 07414794) 全文: 内政部
伊沃·杜恩施(编辑);马雷斯,埃德温(编辑) 阿拉斯代尔·厄克哈特(Alasdair Urquhart)谈非经典和代数逻辑以及证明的复杂性。 (英语) Zbl 1470.03009号 对逻辑的杰出贡献22.查姆:施普林格(ISBN 978-3-030-71429-1/hbk;978-3-0.30-71432-1/pbk;988-3-030-171430-7/电子书)。xiii,586页。(2022).MSC公司:03-06 03Bxx号 03Gxx公司 03-03 01A70号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Düntsch}(ed.)和textit{E.Mares}(edi.),阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:施普林格(2022;Zbl 1470.03009) 全文: 内政部
乔治·图拉基斯 可计算性。 (英语) Zbl 1507.03002号 查姆:施普林格(ISBN 978-3-030-83201-8/hbk;978-3-0030-83202-5/电子书)。xxvii,637页。(2022). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:03-01 03年月日 03B05号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Tourlakis},可计算性。查姆:施普林格(2022;Zbl 1507.03002) 全文: 内政部
伊克巴尔·杰布里尔。;赫曼·杜塔;赵伊宇 逻辑和集合论简介。 (英语) Zbl 1473.03001号 数学及其应用:建模、工程和社会科学佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-07795-2/hbk;978-1-032-10622-9/pbk;978-0-429-02283-8/电子书)。ix,160页。(2022).MSC公司:03-01 03Bxx号 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{I.H.Jebril}等人,逻辑和集合论简介。佛罗里达州博卡拉顿:CRC出版社(2022;Zbl 1473.03001) 全文: 内政部
克劳斯·美因泽(编辑);彼得·舒斯特(编辑);赫尔穆特·施维赫滕贝格(编辑) 证明与计算2。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日国际秋季学校“证明与计算”。 (英语) Zbl 1486.03009号 新泽西州哈肯萨克:《世界科学》(ISBN 978-981-12-3647-1/hbk;978-981-12-3649-5/电子书)。十六、408页。(2022).MSC公司:03-06 03年月日 65楼03号 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Mainzer}(编辑)等,《证明与计算II》。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日的国际秋季学校“证明与计算”。新泽西州哈肯萨克:世界科学(2022;Zbl 1486.03009) 全文: 内政部
Salles,Sagid公司 模糊就是武断。模糊理论概述。 (英语) Zbl 1508.03002号 合成库436.查姆:施普林格(ISBN 978-3-030-66780-1/hbk;978-3-0030-66783-2/pbk;988-3-030-166781-8/电子书)。xiii,206页。(2021).MSC公司:03-02 03A05号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.Salles},模糊是任意性。模糊理论概述。查姆:斯普林格(2021;Zbl 1508.03002) 全文: 内政部
配件,梅尔文(编辑) 选自当代逻辑学。 (英语) Zbl 1505.03005号 逻辑景观2。伦敦:学院出版物(ISBN 978-1-84890-350-0)。六、850页。(2021).MSC公司:03-06 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting}(编辑),《当代逻辑选编》。伦敦:学院出版物(2021;Zbl 1505.03005)
Dov Gabbay公司(编辑);约翰·霍蒂(编辑);家长,Xavier(编辑);罗恩·范德梅登(编辑);范德托雷、伦德特(编辑) 道义逻辑和规范系统手册。第2卷。 (英语) Zbl 1505.03006号 伦敦:学院出版物(ISBN 978-1-84890-363-0)。第782页。(2021).MSC公司:03-06 03-03 03B45号 03A05号 01年05月 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}(编辑)等人,道义逻辑和规范系统手册。第2卷。伦敦:学院出版物(2021;Zbl 1505.03006)
刘芬荣(编辑);亚历山德拉·马拉(编辑);保罗·波特纳(编辑);范德普特,弗雷德里克(编辑) 道义逻辑和规范体系。第十五届国际会议,DEON 2020/2021。 (英语) Zbl 1504.03010号 伦敦:学院出版物(ISBN 978-1-84890-352-4)。第六章,第446页。,开放存取(2021年)。MSC公司:03-06 03B45号 03B60号 03秒20 03A05号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Liu}(编辑)等,道义逻辑和规范体系。第十五届国际会议,DEON 2020/2021。伦敦:学院出版物(2021;Zbl 1504.03010) 全文: 链接
塞西、萨蒂亚·桑达尔 逻辑和逻辑论述导论。 (英语) 兹标07556601 新加坡:Springer(ISBN 978-981-16-2688-3/hbk;978-981-6-2691-3/pbk;978-16-2689-0/电子书)。十七、285页。(2021).MSC公司:03-01 03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Sethy},逻辑和逻辑话语导论。新加坡:施普林格(2021;Zbl 07556601) 全文: 内政部
弗南德斯·弗南德斯,克劳迪娅 逻辑和认识论意识。对潜在的主要认知概念的概念图式和逻辑研究。 (英语) Zbl 07556596号 逻辑、认识论与科学的统一52.查姆:施普林格(ISBN 978-3-030-69605-4/hbk;978-3-0.30-69608-5/pbk;979-3-030-69 606-1/电子书)。xxi,第130页。(2021).MSC公司:03-02 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.费尔南德斯-费尔南德斯},《逻辑和认识论中的意识》。对潜在的主要认知概念的概念图式和逻辑研究。查姆:施普林格(2021;Zbl 07556596) 全文: 内政部
乌戈·达尔拉戈(编辑);瓦莱里亚·德·佩瓦(编辑) 线性与线性逻辑和应用趋势第二届联合国际研讨会论文集,线性-TLLA,在线,2020年6月29日至30日。 (英语) Zbl 1489.03002号 理论计算机科学电子论文集(EPTCS)353.滑铁卢:开放出版协会(OPA)。212页。,仅电子化、开放存取(2021年)。MSC公司:03-06 03B70号 03楼52 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}(编辑)和\textit{V.de Paiva}(主编),线性逻辑和应用中的线性趋势第二次联合国际研讨会论文集,线性TLLA,在线,2020年6月29日至30日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.03002) 全文: 内政部 链接
阿莱、东山英彦(编辑);木本菊池(编辑);佐托鲁黑田(编辑);冈田三弘(编辑);Teruyuki Yorioka(编辑) 数理逻辑的进展。为纪念Gaisi Takeuti教授,SAML 2018。根据2018年9月18日至20日在日本神户举行的研讨会上的陈述,对论文进行了精选和修订。 (英语) Zbl 1479.03003号 Springer数学与统计论文集369.新加坡:Springer(ISBN 978-981-16-4172-5/hbk;978-981-16-4173-2/电子书)。xi,第229页。(2021).MSC公司:03-06 03Bxx号 03埃克斯 03Fxx公司 00B25型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}(编辑)等人,《数理逻辑的进展》。为纪念Gaisi Takeuti教授,SAML 2018。根据2018年9月18日至20日在日本神户举行的研讨会上的陈述,对论文进行了精选和修订。新加坡:施普林格(2021;Zbl 1479.03003) 全文: 内政部
2021年第36届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2021,罗马,意大利,2021年6月29日至7月2日。 (英语) Zbl 1478.03002号 新泽西州皮斯卡塔韦:IEEE出版社(ISBN 978-1-6654-4895-6)。vii,30条(2021年)。MSC公司:03-06 03B70号 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 2021年第36届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2021,罗马,意大利,2021年6月29日-7月2日。新泽西州皮斯卡塔韦:IEEE出版社(2021;Zbl 1478.03002) 全文: 链接
彼得罗·巴罗尼(编辑);克里斯托夫·本兹穆勒(编辑);Wáng,YN。(编辑) 逻辑和论证。第四届国际会议,CLAR 2021,中国杭州,2021年10月20日至22日。诉讼程序。 (英语) Zbl 1507.03006号 计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-030-89390-3/pbk;978-3-0.30-89391-0/ebook)。xv,552页。(2021).MSC公司:03-06 68-06 03B70号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \文本{P.巴罗尼}(编辑)等,《逻辑与论证》。第四届国际会议,CLAR 2021,中国杭州,2021年10月20-22日。诉讼程序。查姆:施普林格(2021;Zbl 1507.03006) 全文: 内政部
亚历山德罗·佐丹尼(编辑);雅切克·马林诺夫斯基(编辑) 高清逻辑——逻辑语义的发展趋势。根据2019年逻辑趋势会议上的陈述选择论文。 (英语) Zbl 1485.03011号 逻辑趋势——Studia Logica图书馆56.查姆:施普林格出版社(ISBN 978-3-030-53486-8/hbk;978-3-0.30-53489-9/pbk;978-10-53487-5/电子书)。v、 第243页。(2021).MSC公司:03-06 03B42型 03B45号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Giordani}(编辑)和\textit{J.Malinowski}(主编),高定义逻辑——逻辑语义的趋势。根据2019年逻辑趋势会议上的陈述选择论文。查姆:施普林格(2021;Zbl 1485.03011) 全文: 内政部
第51届IEEE多值逻辑国际研讨会论文集,ISMVL 2021,在线活动,2021年5月25日至27日。 (英语) Zbl 1475.94002号 加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-7281-9224-6)。xiv,216页。(2021).MSC公司:94-06 03-06 03B50号 94C11号机组 00B25型 PDF格式BibTeX公司 XML格式引用 第51届IEEE多值逻辑国际研讨会论文集,ISMVL 2021,在线活动,2021年5月25日至27日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(2021;Zbl 1475.94002) 全文: 内政部
契安·多尔;约翰·霍桑;尤哈尼Yli-Vakkuri 可能性的界限。模态变化的困惑。 (英语) Zbl 1475.03002号 牛津:牛津大学出版社(ISBN 978-0-19-284665-5/hbk)。x、 第436页。(2021).MSC公司:03-02 03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dorr}等人,《可能性的界限》。模态变化的困惑。牛津:牛津大学出版社(2021;Zbl 1475.03002) 全文: 内政部
奥古斯都·德摩根 关于三段论和其他逻辑著作。重印1966年版。 (英语) Zbl 1486.03003号 劳特利奇复兴米尔顿:劳特利奇(ISBN 978-0-367-19490-1/hbk;978-0-37-19493-2/pbk;988-0-429-2278-0/电子书)。xxxi,第335页。(2021).MSC公司:03-02 03B10号机组 01A75号 PDF格式BibTeX公司 XML格式引用 \文本{A.De Morgan},关于三段论和其他逻辑著作。重印1966年版。米尔顿:劳特利奇(2021;Zbl 1486.03003) 全文: 内政部
卡洛·库比(编辑);约翰·埃德尔(编辑);马克·雷诺兹(编辑) 第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。 (英语) Zbl 1473.68013号 LIPIcs–莱布尼茨国际信息学会议录206.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-206-8)。xiv,17篇文章,非连续页面,仅电子版,开放存取(2021年)。MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}(编辑)等人,第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik(2021;Zbl 1473.68013) 全文: 内政部 链接