×

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

关于二分法和类比:关于逻辑上下一次“非血腥”革命的问题。 (英语) Zbl 07740526号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,459-470 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概念意味着什么? (英语) Zbl 07740521号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,337-351 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图像及其否定能力。 (英语) Zbl 07740520号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用双头螺栓。日志。,321-336 (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格式引用
全文: 内政部

一种基于逻辑的多智能体系统增量推理方法。 (英语) 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格式引用
全文: 内政部

人人都知道,人人都知道。 (英语) Zbl 1498.03067号

Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:施普林格。日志。认识论。统一科学。49, 117-133 (2021).
PDF格式BibTeX公司 XML格式引用

对社会影响和友谊选择之间相互作用的逻辑分析。 (英语) Zbl 1496.03139号

Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。2005年1月1日,71-87(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

《计算机:哥德尔本体论论证的计算探索变体》(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公司 引用
全文: arXiv公司

乳腺癌进展建模的逻辑框架。 (英语) Zbl 1525.92029号

Chaves,Madalena(编辑)等人,《分子逻辑和计算合成生物学》。2018年12月17日至18日,智利圣地亚哥,MLCSB 2018第一届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。11415, 121-141 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为每个人验证?动态逻辑概述。 (英语) Zbl 1522.03101号

Chaves,Madalena(编辑)等人,《分子逻辑和计算合成生物学》。2018年12月17日至18日,智利圣地亚哥,2018年MLCSB首次国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。11415, 18-33 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信号游戏中作为标量含义的软预设。 (英语) Zbl 1469.03087号

廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,135-151 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效性:稳定近似推理的广义逻辑。 (英语) Zbl 1454.00022号

Nicolas Fillion等人,《数学、认识论和科学中的算法和复杂性》。2015年和2016年ACMES会议记录,英国伦敦。精选论文。纽约州纽约市:斯普林格;多伦多:菲尔兹数学科学研究所。字段Inst.Commun。82225-268(2019年)。
MSC公司:00A30型 03B80号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超越时空界限。 (英语) Zbl 1442.83008号

库西,马雷克(编辑)等人,《物理学、数学和哲学中的范畴理论》。2017年11月16日至17日,波兰华沙,“物理、数学和哲学中的范畴理论”会议记录。查姆:斯普林格;华沙:国际形式本体中心。Springer程序。物理。235, 95-103 (2019).
PDF格式BibTeX公司 XML格式引用

信息熵建模。 (英语) Zbl 07176923号

Iemhoff,Rosalie(编辑)等人,《逻辑、语言、信息和计算》。第26届国际研讨会,2019年7月2日至5日,荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。11541, 140-160 (2019).
PDF格式BibTeX公司 XML格式引用

微分方程公理化。不同鬼魂令人印象深刻的力量。 (英语) Zbl 1453.03026号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。819-828 (2018).
PDF格式BibTeX公司 XML格式引用

社会认识论的几个问题:动态群体概率。(阿尔古诺问题是社会认识论的问题:概率grupales dinámicas。) (英语) Zbl 1440.03055号

Freund,Max A.(编辑)等人,《逻辑与逻辑哲学》。拉丁美洲和西班牙的近期趋势。伦敦:学院出版物。螺柱日志。(伦敦)78,169-186(2018)。
PDF格式BibTeX公司 XML格式引用

与Hintikka一起打牌:动态认识逻辑导论。 (英语) Zbl 1437.03077号

van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:施普林格。Outst公司。控制日志。12, 237-262 (2018).
MSC公司:03B42型 03B80号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

已知未知:时间界限和无知知识。 (英语) Zbl 1437.03058号

van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:施普林格。Outst公司。控制日志。12, 187-206 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于社会群体创建的逻辑观点。 (英语) Zbl 1418.03145号

Arazim,Pavel(编辑)等人,《2017年逻辑年鉴》。2017年6月19日至23日,捷克共和国赫尼茨修道院,第31届年度国际研讨会Logica会议记录。伦敦:学院出版物。271-288 (2018).
PDF格式BibTeX公司 XML格式引用

J.M.Bochennski的符号理论。 (英语) Zbl 1406.03020号

Garrido,Angel(编辑)等人,《利沃夫-瓦沙学校》。过去和现在。查姆:Birkhä用户(ISBN 978-3-319-65429-4/hbk;978-3-3169-65430-0/电子书)。《普适逻辑研究》,273-277(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

社交网络的创建和变化:基于群体规模的逻辑研究。 (英语) Zbl 1499.91080号

马德拉,亚历山大(编辑)等人,《动态逻辑》。新趋势和应用。2017年9月23日至24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10669, 171-184 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

其他补偿愤怒=将无法实现的欲望归咎于负责任的代理人。 (英语) Zbl 1503.91081号

An,Bo(编辑)等人,《2017年PRIMA:多智能体系统的原理和实践》。第20届国际会议,法国尼斯,2017年10月30日至11月3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10621, 15-33 (2017).
MSC公司:91电子99 03B80号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫过程的Riesz模态逻辑。 (英语) Zbl 1452.03082号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第31条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

闲聊的乐趣。 (英语) Zbl 1437.03056号

巴什肯特(Baškent,Can)(编辑)等人,《逻辑、语言和社会》(Rohit Parikh on logic,language and society)。查姆:施普林格。Outst公司。控制日志。11, 145-163 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

论认知GDL的公理化。 (英语) Zbl 1495.03020号

Baltag,Alexandru(编辑)等人,《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10455, 598-613 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份