×

找到2550个文档(结果1-100)

动态逻辑。新趋势和应用。第五届国际研讨会,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格式引用
全文: 内政部

可能性的界限。模态变化的困惑(即将出现)。重印2021年精装版。 (英语) Zbl 07749100号

牛津:牛津大学出版社(ISBN 978-0-19-891077-0/pbk)。x、 第436页。(2024).
MSC公司:03-02 03A05号 03B45号
PDF格式BibTeX公司 XML格式引用

动态逻辑。新趋势和应用。第四届国际研讨会,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格式引用
全文: 内政部

逻辑:计算机科学家的参考书。第二次修订和扩大版,之前以计算机和数据科学逻辑和人工智能的标题出版。 (英语) Zbl 07782874号

智能系统参考库245.查姆:施普林格(ISBN 978-3-031-42033-7/hbk;978-3-331-42036-8/pbk;988-3-031-142034-4/电子书)。xxxii,461页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑、语言、信息和计算。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动扣除–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年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

《亚结构逻辑中的模态程序:逻辑、语言和计算接口的应用》,AMSLO 2023,卢布尔雅那,斯洛文尼亚,2023年8月7日至8日。 (英语) Zbl 1522.03012号

理论计算机科学电子论文集(EPTCS)381.滑铁卢:开放出版协会(OPA)。70页。,仅电子化、开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用

第17届逻辑和语义框架应用国际研讨会会议记录,LSFA,巴西贝洛奥里藏特,2022年9月23日至24日。 (英语) Zbl 1522.68039号

理论计算机科学电子论文集(EPTCS)376.滑铁卢:开放出版协会(OPA)。99页。,仅电子化、开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用

第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

逻辑和论证。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。 (英语) 兹比尔1528.03006

计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-40874-8/pbk;978-3-331-40875-5/电子书)。xx,225页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑和计算的统一。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第28届国际校样和程序类型会议,types 2022,LS2N,南特大学,法国,2022年6月20日至25日。 (英语) 兹比尔1517.68019

LIPIcs–莱布尼茨国际信息学会议录269.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-285-3)。vii,15篇文章,非连续页面,仅电子版,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

第八届计算和扣除正式结构国际会议,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年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

数学导论。数量、空间和结构。 (英语) Zbl 1521.00001号

纯应用型本科教材62.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-7188-0/pbk;978-1-4740-7416-4/电子书)。第二十六章,第415页。(2023).
PDF格式BibTeX公司 XML格式引用

逻辑及其应用。第十届印度会议,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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑和语言的动态。第三届清华大学逻辑、语言和意义跨学科研讨会,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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简单类型理论。表达和推理数学思想的实用逻辑。 (英语) 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格式引用
全文: 内政部

第31届EACSL计算机科学逻辑年会,CSL 2023年,CSL 2020年,2023年2月13日至16日,波兰华沙。 (英语) Zbl 1507.68038号

LIPIcs–莱布尼茨国际信息学会议录252.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-264-8)。xviii,38篇文章,非连续页面,仅电子版,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于逻辑原理的论述。逻辑一元论的辩护。第三修订版。(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).
PDF格式BibTeX公司 XML格式引用

三次否定。对经典否定、次一致否定和次完全否定的研究。(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格式引用

正式语义学经典论文的读者指南。语言学和哲学研究第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑-语言-本体。精选作品。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代理、规范、调查和文物:纪念里斯托·希尔皮宁的论文。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第52届IEEE多值逻辑国际研讨会论文集,ISMVL 2022,美国德克萨斯州达拉斯,2022年5月18日至20日。 (英语) Zbl 1502.94005号

加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-6654-2395-3)。xi,195页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

小野博之谈子结构逻辑。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第29届时间表征与推理国际研讨会(TIME 2022),虚拟会议,2022年11月7日至9日。 (英语) Zbl 1502.68018号

LIPIcs–莱布尼茨国际信息学会议录247.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik(ISBN 978-3-95977-262-4)。xiv,15篇文章,非连续页面,仅电子版,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

逻辑、语言、信息和计算。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权自动机、形式幂级数和加权逻辑。 (英语) Zbl 1498.68005号

最佳大师。威斯巴登:施普林格·斯佩克特伦;康斯坦兹:康斯坦兹大学(硕士论文)(ISBN 978-3-658-39322-9/pbk;978-3-558-39323-6/ebook)。xi,第190页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一篇关于几何学基础的论文。迈克尔·波特的新前言。重印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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

机械化假说的形成。原则和案例研究。 (英语) Zbl 1502.68011号

佛罗里达州博卡拉顿:CRC出版社/科学出版社(ISBN 978-0-367-54980-0/hbk;978-1-003-09144-8/电子书)。十六、第345页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

法律推理和逻辑的新发展。从古代法律到现代法律制度。基于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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

后果关系。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格式引用
全文: 内政部

可计算性。随机性、逆向数学和超可计算性。(Calculabilité.Aléatoire,mathematiquesárebours et hypercalculabiliteé) (法语) Zbl 1516.03001号

黑Tableau107.巴黎:Calvage et Mounet(ISBN 978-2-916352-96-1/hbk)。第二十二、828页。(2022).
PDF格式BibTeX公司 XML格式引用

第27届国际校样和程序类型会议,types 2021,荷兰莱顿,虚拟会议,2021年6月14-18日。 (英语) Zbl 1494.68007号

LIPIcs–莱布尼茨国际信息学会议录239.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-254-9)。vii,12篇文章,非连续页面,仅电子版,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

模态逻辑的进展。第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格式引用

2022年第37届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2022,以色列海法,2022年8月2-5日。 (英语) Zbl 1492.03002号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9351-5)。xiii,30条(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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).
MSC公司:03-02 03B50号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第七届计算和扣除正式结构国际会议,FSCD 2022,以色列海法,2022年8月2-5日。 (英语) Zbl 1491.68017号

LIPIcs–莱布尼茨国际信息学会议录228.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-233-4)。xvii,32篇文章,非连续页面,仅电子版,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

第十届非经典逻辑国际会议论文集。理论与应用,Łód罗兹,波兰,2022年3月14日至18日。 (英语) Zbl 1489.03003号

理论计算机科学电子论文集(EPTCS)358.滑铁卢:开放出版协会(OPA)。第309页。(2022).
MSC公司:03-06 03Bxx号 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

第16届逻辑和语义框架及应用国际研讨会论文集,LSFA,阿根廷布宜诺斯艾利斯,在线,2021年7月23日至24日。 (英语) 兹比尔1489.68006

理论计算机科学电子论文集(EPTCS)357.滑铁卢:开放出版协会(OPA)。111页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

好奇的逻辑。问题领域的结果和推理。 (英语) 兹伯利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格式引用
全文: 内政部

当代模糊逻辑。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格式引用
全文: 内政部

语言、逻辑和计算。第十三届第比利斯国际研讨会,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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

瓦伦西内斯的约翰·法布里的模态逻辑(约1500年)。基于标记的语义学研究。 (英语) Zbl 07504599号

斯普林格哲学简介新加坡:施普林格出版社(ISBN 978-3-030-98801-2/pbk;978-3-030-98802-9/ebook)。六、113页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑有问题。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言、形式和逻辑。追求自然逻辑的圣杯。 (英语) 兹比尔07498872

牛津:牛津大学出版社(ISBN 978-0-19-959153-4/hbk)。xiii,429页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学的逻辑基础。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格式引用
全文: 内政部

知识、数字和现实。与基思·霍萨克(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格式引用

第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。 (英语) Zbl 1482.68033号

LIPIcs–莱布尼茨国际信息学会议录216.瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-95977-218-1)。xix,37篇文章,非连续页面,仅电子版,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

逻辑没有缺口或过剩。如何在不牺牲经典逻辑的前提下解决悖论。 (英语) 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格式引用
全文: 内政部

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).
MSC公司:03-02 03B42型 03B50号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机和数据科学的逻辑学,以及人工智能。 (英语) Zbl 1498.68003号

计算智能研究992.查姆:施普林格(ISBN 978-3-030-91679-4/hbk;978-3-0030-91680-0/电子书)。十八、362页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑起作用。形式逻辑的严格介绍。 (英语) 兹比尔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格式引用
全文: 内政部

推理和语言在工作中。一篇评论文章。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

奥斯卡·贝克尔,论形态的逻辑(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格式引用
全文: 内政部

阿拉斯代尔·厄克哈特(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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑和集合论简介。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明与计算2。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日国际秋季学校“证明与计算”。 (英语) Zbl 1486.03009号

新泽西州哈肯萨克:《世界科学》(ISBN 978-981-12-3647-1/hbk;978-981-12-3649-5/电子书)。十六、408页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

道义逻辑和规范系统手册。第2卷。 (英语) Zbl 1505.03006号

伦敦:学院出版物(ISBN 978-1-84890-363-0)。第782页。(2021).
PDF格式BibTeX公司 XML格式引用

道义逻辑和规范体系。第十五届国际会议,DEON 2020/2021。 (英语) Zbl 1504.03010号

伦敦:学院出版物(ISBN 978-1-84890-352-4)。第六章,第446页。,开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

逻辑和认识论意识。对潜在的主要认知概念的概念图式和逻辑研究。 (英语) 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格式引用
全文: 内政部

线性与线性逻辑和应用趋势第二届联合国际研讨会论文集,线性-TLLA,在线,2020年6月29日至30日。 (英语) Zbl 1489.03002号

理论计算机科学电子论文集(EPTCS)353.滑铁卢:开放出版协会(OPA)。212页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

数理逻辑的进展。为纪念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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2021年第36届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2021,罗马,意大利,2021年6月29日至7月2日。 (英语) Zbl 1478.03002号

新泽西州皮斯卡塔韦:IEEE出版社(ISBN 978-1-6654-4895-6)。vii,30条(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

逻辑和论证。第四届国际会议,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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高清逻辑——逻辑语义的发展趋势。根据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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第51届IEEE多值逻辑国际研讨会论文集,ISMVL 2021,在线活动,2021年5月25日至27日。 (英语) Zbl 1475.94002号

加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-7281-9224-6)。xiv,216页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于三段论和其他逻辑著作。重印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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。 (英语) Zbl 1473.68013号

LIPIcs–莱布尼茨国际信息学会议录206.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-206-8)。xiv,17篇文章,非连续页面,仅电子版,开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

传记参考

全部的 前3名

软件