定理证 13th Tphols Conference International 高阶逻辑中 Proving Higher 海外直订医药图书Theorem Order Logics
￥553满300减10售0件
第13届欧 Conference Toulous 2012 Jelia 逻辑 Artificial Intelligence 海外直订Logics 13th 人工智能中 European
￥553满300减10售0件
定理证明：第14 14th Tphols Conference International 高阶逻辑中 Proving Higher 海外直订Theorem Order Logics
￥553满300减10售0件
Non 信念修正 Revision 逻辑中 海外直订Belief 非经典 Classical Logics
￥553满300减10售0件
Higher Logics Order 高阶逻辑中 第18 International 18th Tphols 海外直订Theorem Conference Proving 定理证明
￥553满300减10售0件
Logics Logic 8486; 海外直订& 逻辑 Mathematical Non 数理逻辑书目：非经典 Classical Bibliography
￥553满300减10售0件
Networks 海外直订Probabilistic Probabilistic Logics 概率逻辑与概率 and
￥553满300减10售0件
Logics and 海外直订Uncertain Variables 变量与系统 Systems 不确定逻辑
￥553满300减10售0件
Logics Higher Order 定理证明 高阶逻辑中 Proving 海外直订Theorem
￥553满300减10售0件
Phi Preference Study 偏好 二十世纪哲学中 Prohairetic Century 海外直订The Twentieth Logics 逻辑
￥553满300减10售0件
Theory Propositional 海外直订Completeness for 完备性理论 Logics 命题逻辑
￥553满300减10售0件
定理证明：第十 10th Tphols Conference International 高阶逻辑中 Proving Higher 海外直订Theorem Order Logics
￥553满300减10售0件
一般 Framework Uncertainty Logics for 不确定性逻辑 Graded Consequence 海外直订Theory 分级结果理论 General
￥553满300减10售0件
Phi Preference Study 偏好 二十世纪哲学中 Prohairetic Century 海外直订The Twentieth Logics 逻辑
￥553满300减10售0件
Semantics 一般代数语义 General 句子逻辑 海外直订A Logics for Algebraic Sentential
￥553满300减10售0件
Malaga Workshop 海外直订Logics 逻辑：欧洲研讨 European Intelligence Jelia 人工智能中 Spain 2000 Artificial
￥553满300减10售0件
Dagstuhl Workshop 海外直订Logics 逻辑：欧洲研讨 European Intelligence Jelia 人工智能中 German Artificial
￥553满300减10售0件
Logics Volume Semantic 海外直订The 命题逻辑 Logic 语义基础卷1 逻辑 Propositional Foundations
￥553满300减10售0件
Higher Logics Order 高阶逻辑中 第16 International 16th Tphols 海外直订Theorem Conference Proving 定理证明
￥553满300减10售0件
International 海外直订Constraints 约束：第一届国 First Logics Conference 计算逻辑中 CCL Computational
￥553满300减10售0件
逻辑学：1994年 Jelia York 人工智能中 Artificial Intelligence 海外直订Logics European Septem Workshop
￥553满300减10售0件
Workshop 人工智能中 European September Berlin 逻辑：1992年9 1992 Jelia 海外直订Logics Germany
￥553满300减10售0件
与非经典 Classical Non and 逻辑 论文 Selected Logics 经典 海外直订Automated Papers Deduction 自动演绎
￥553满300减10售0件
2006 European 海外直订Logics 逻辑学：第十届 10th Intelligence Conference 人工智能中 Liverpo Jelia Artificial
￥553满300减10售0件
Higher Logics Order 高阶逻辑中 第15 International 15th Tphols 海外直订Theorem Conference Proving 定理证明
￥553满300减10售0件
2008 European 海外直订Logics 逻辑学：第11届 11th Intelligence Conference 人工智能中 Dresden Jelia Artificial
￥553满300减10售0件
and Logics 计算逻辑中 约束：理论与应 International 海外直订Constraints Applications Theory Computational Summ
￥553满300减10售0件
Higher Logics Order 高阶逻辑定理 第11届 International 11th Tphols 海外直订Theorem Conference Proving 证明
￥553满300减10售0件
定理证明：第20 20th TPHOLs Conference International 高阶逻辑中 Proving Higher 海外直订Theorem Order Logics
￥553满300减10售0件
Papers 非经典 and Proof Theoretic Logics 代数和证明方 逻辑学 海外直订Algebraic Non Aspects Honor Classical
￥553满300减10售0件
编程语言 Programs Languages 海外直订Programming and Logics 8th 逻辑和程序 实现 International Implementations
￥553满300减10售0件
Networks 海外直订Probabilistic Probabilistic Logics 概率逻辑和概率 and
￥553满300减10售0件
Concepts 结果和技术 Logics 非单调逻辑：基本概念 海外直订Nonmonotonic Techniques Results Basic and
￥553满300减10售0件
Evora Workshop 海外直订Logics 逻辑：欧洲研讨 European Intelligence Jelia 人工智能中 Portugal Artificial
￥553满300减10售0件
第十二届 12th Tphols Conference International 高阶逻辑定理证明 Proving Higher 海外直订Theorem Order Logics
￥553满300减10售0件
从 From Definitions and Foundations 非标准推论 Standard Inferences 海外直订Non Description 描述逻辑中 Logics
￥553满300减10售0件
定理证明：第17 17th Tphols Conference International 高阶逻辑中 Proving Higher 海外直订Theorem Order Logics
￥553满300减10售0件
编程语言 Programs Languages 海外直订Programming 第 and Logics 9th 逻辑和程序 实现 International Implementations
￥553满300减10售0件
7th 编程语言 International 逻辑和程序 Languages Implementations Logics 海外直订Programming and 实现 Programs
￥553满300减10售0件
第12届欧 Conference Helsink 2010 Jelia 逻辑 Artificial Intelligence 海外直订Logics 12th 人工智能中 European
￥553满300减10售0件