学科分类
年份：
不限 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 更早
最新 浏览↓
/ 1
共 1 个结果
论谓词逻辑推理中的量词加免法则

  • 简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

  • 标签： 离散数学 数理逻辑 谓词逻辑
全文阅读
关于我们
期刊网介绍
服务条款
知识产权声明
联系我们
特色服务
学术通
定制服务
广告合作
友情链接
期刊合作
期刊合作
合作流程
商务合作
广告服务
产品服务
期刊大全
论文中心
期刊检索
论文检索
客服电话：400-889-0263

客服QQ：30444492琼网文【2021】1550-113号

增值电信业务经营许可证：琼B2-20210322

出版物经营许可证：新出发龙华出字第(2021)009号

广播电视节目制作经营许可证：(琼)字第00779号

若发现您的权益受到侵害，请立即联系客服QQ(30444492)或邮箱(qikanoline@126.com)，我们会尽快为您处理

版权所有 ©2002-2024 期刊网(www.qikanchina.com) 琼ICP备2021005105号