QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 专题：南开大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 防操纵社会选择机制逻辑研究述评 期刊论文 重庆理工大学学报(社会科学版), 2013, 卷号: 第27卷 作者:  李娜;  孙雯 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/01 防策略  社会选择  模态逻辑  一阶逻辑  命题逻辑   国外逻辑学习软件初探：兼谈国内逻辑学习软件情况 期刊论文 逻辑学研究, 2011, 卷号: 第4卷, 页码: 98-110 作者:  李娜;  孙雯 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/01 学习软件  一阶逻辑  教学软件  数理逻辑  逻辑学家  模态逻辑  亚里士多德逻辑  逻辑教学  传统逻辑  真值表   模态逻辑发展历史概述 期刊论文 燕山大学学报(哲学社会科学版), 2010, 卷号: 第11卷, 页码: 133-138 作者:  董英东 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/04 模态逻辑  语形时期  经典时期  现代时期   互模拟的含义、特征及主要应用 期刊论文 重庆理工大学学报：社会科学, 2010, 卷号: 第24卷, 页码: 30 作者:  姚从军 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/04 互模拟  模态逻辑  等价关系  固定点  并发系统   互模拟在理论和实践中的应用 期刊论文 沈阳师范大学学报(社会科学版), 2009, 卷号: 第33卷, 页码: 29-31 作者:  姚从军 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/04 互模拟  模态逻辑  非良基集合  并行理论  概率模型