微信扫一扫联系客服
微信扫描二维码
进入报告厅H5
关注报告厅公众号
477
This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
这本书对于任何在这些领域使用逻辑的高级学生或研究人员来说都是不可或缺的。这些章节内容全面，由该领域的主要人物撰写。主题包括，信念修正，命题逻辑中的反驳系统，形式语言学中的量词范围和逻辑系统的非确定性语义学。
相关文库
电子书-Linux是如何工作的How Linux Works（英）
1432
类型：电子书
上传时间:2022-04
标签：计算机、操作系统、内部结构)
语言：英文
金额：5积分
《面向初学者的机器学习》Machine Learning For Absolute Beginners
1070
类型：电子书
上传时间:2021-05
标签：机器学习、计算机、算法)
语言：英文
金额：5积分
计算机行业深度研究报告：ChatGPT，开启AI新纪元-20230201-31页
1008
类型：行研
上传时间:2023-02
标签：计算机、处理器)
语言：中文
金额：免费
电子书-DAMA数据管理知识体系指南（DAMA DMBOK）（英）
1003
类型：电子书
上传时间:2022-03
标签：计算机、数据库、数据管理)
语言：英文
金额：5积分
电子书-用FastAPI构建数据科学应用：用Python开发、管理和部署高效的机器学习应用程序（英）
1000
类型：电子书
上传时间:2022-03
标签：计算机、数据库、人脸检测系统)
语言：英文
金额：5积分
电子书-高维数据统计：方法、理论与应用（英）
912
类型：电子书
上传时间:2021-10
标签：计算机、统计学、数据统计)
语言：英文
金额：5积分
电子书-软件架构师手册：通过实施有效的架构概念成为成功的软件架构师（英）
895
类型：电子书
上传时间:2021-11
标签：计算机、软件架构 、软件)
语言：英文
金额：5积分
计算机行业：多模态大模型技术演进及研究框架-20230318-51页
885
类型：行研
上传时间:2023-03
标签：计算机、虚拟人、智能人)
语言：中文
金额：免费
计算机行业：GPT产业梳理，GPT_1到ChatGPT-20230214-17页
848
类型：行研
上传时间:2023-02
标签：计算机、GPT)
语言：中文
金额：免费
电子书-大数据MBA：用数据科学推动商业战略（英）
839
类型：电子书
上传时间:2021-11
标签：计算机、数据库、大数据)
语言：英文
金额：5积分
积分充值
30积分
6.00元
90积分
18.00元
150+8积分
30.00元
340+20积分
68.00元
640+50积分
128.00元
990+70积分
198.00元
1640+140积分
328.00元
微信支付
余额支付
积分充值
应付金额:
0 元
请登录，再发表你的看法
登录/注册