×

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

最新的 引文 关联
Keita横山

Paris-Harrington原理和二阶算法–桥接有限和无限Ramsey定理。 （英语） Zbl 07823031号

Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1504-1528 (2023).
MSC公司：30楼03号 35楼03号 03B30型 10年5月
PDF格式BibTeX公司 XML格式引用
\textit{K.横山由纪夫}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1504--1528（2023；Zbl 07823031）
全文： DOI程序
OA许可证
安德鲁·刘易斯·史密斯

Hajek的BL的Kripke语义。 （英语） Zbl 07818972号

Moortgat，Michael（ed.）等人，《亚结构逻辑中的模态程序：逻辑、语言和计算接口的应用》，AMSLO 2023，斯洛文尼亚卢布尔雅那，2023年8月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）381，20-31（2023）。
MSC公司：03B47号 03B65号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Lewis-Smith}，电子。程序。西奥。计算。科学。（EPTCS）381，20--31（2023；Zbl 07818972）
全文： DOI程序 arXiv公司
萨宾·弗里特拉;Daniel Kozhemiachenko;巴特·维尔海伊

非一致性环境中的假设推理。 （英语） 兹伯利07810617

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379233-244（2023）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{S.Frittella}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379233--244（2023；Zbl 07810617）
全文： DOI程序 arXiv公司
贝尔科娃，玛尔塔;萨宾·弗里特拉;Daniel Kozhemiachenko;Ondrej Majer

亚一致概率的两层逻辑。 （英语） Zbl 07810560号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 101-117 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}等人，Lect。注释计算。科学。13923、101--117（2023；Zbl 07810560）
全文： DOI程序 arXiv公司
瓦斯科·布拉特卡

关于学习计划的复杂性。 （英语） Zbl 07787579号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 166-177 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}，莱克特。注释计算。科学。13967、166--177（2023年；Zbl 07787579）
全文： DOI程序 arXiv公司
保罗，博纳利;桑迪普·保罗

具有双域语义的模糊自由逻辑。 （英语） Zbl 07728693号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 130-142 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.Paul}和\textit{S.Paul}Lect。注释计算。科学。13963、130--142（2023；Zbl 07728693）
全文： DOI程序
刘培德;泽山阿里;塔希尔马哈茂德

一些基于改进的复杂q-rung正交模糊集运算法则的爱因斯坦相互作用几何聚集算子及其应用。 （英语） Zbl 1514.91052号

计算。申请。数学。 42，第3号，第131号文件，第26页（2023）.
MSC公司：91B06型 91B86型 03电子72 90B50型
PDF格式BibTeX公司 XML格式引用
\textit{P.Liu}等人，计算。申请。数学。42，第3期，第131号论文，第26页（2023年；Zbl 1514.91052）
全文： DOI程序
埃丝特·安娜·科尔西;托马索·弗拉米尼奥;海克尔·霍斯尼

走向不确定性逻辑的统一观点。 （英语） Zbl 1524.68353号

Dupin de Saint-Cyr，Florence（编辑）等，可扩展不确定性管理。2022年10月17日至19日，法国巴黎，第15届国际会议，SUM 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13562, 329-337 (2022).
MSC公司：68T27型 03B45 03B52号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Corsi}等人，Lect。注释计算。科学。13562、329--337（2022年；Zbl 1524.68353）
全文： DOI程序
托马索·弗拉米尼奥;路易斯·戈多;萨拉·乌戈里尼

基于Łukasiewicz逻辑的概率不相容推理方法。 （英语） Zbl 1524.68355号

Dupin de Saint-Cyr，Florence（编辑）等人，《可扩展的不确定性管理》。2022年10月17日至19日，法国巴黎，第15届国际会议，SUM 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13562, 124-138 (2022).
MSC公司：68T27型 03B48 03B50号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{T.Flaminio}等人，Lect。注释计算。科学。13562124--138（2022年；Zbl 1524.68355）
全文： DOI程序
比沙拉，安列特·米歇尔·福阿德;米哈伊尔·鲁卡亚

未分级模糊逻辑和推理。 （英语） Zbl 1511.68263号

Zgurovsky，Michael（编辑）等人，《系统分析与智能计算》。理论和应用。查姆：斯普林格。螺柱计算。智力。1022, 339-353 (2022).
MSC公司：68T27型 03B52号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.M.F.Bishara}和\textit{M.Rukhaia}，Stud.Comput。智力。1022339-353（2022年；兹比尔1511.68263）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件