×

找到5361个文档(结果1–100)

使用机器学习进行实数量词消除的增强MetiTarski数据集。 (英语) Zbl 07810740号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 297-302 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

认知偏差与信念修正。 (英语) Zbl 07810632号

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379441-454(2023年)。
MSC公司:03B42号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件