显示 10 5 10 15 20 50 100 250 排序依据 年(从新到旧) 行动 下载搜索结果 订阅新闻源 您的过滤器: cql:jcr.category确切的“逻辑” 添加到列表 期刊文章 A1类 走向dung论证框架的证明理论统一:一种自适应逻辑方法 克里斯蒂安·斯特拉瑟(根特大学)和Dunja Seselja餐厅(根特大学) (2011)逻辑与计算杂志. 21(2).第133-156页 添加到列表 期刊文章 A1类 同时定义θ函数的序数运算 安德烈亚斯·魏尔曼(根特大学)和冈纳·威尔肯 (2011)数学逻辑季度. 57(2).第116-132页 添加到列表 期刊文章 A1类 层次自适应逻辑 弗雷德里克·范·德普特(根特大学) (2011)IGPL逻辑杂志. 20(1).第45-72页 ← 上一个 1 2 … 9 10 11 12