Logics Systems 海外直订Uncertain 变量与系统 and Variables 不确定逻辑
￥662满600减30售0件
Order 海外直订Theorem 高阶逻辑中 Higher Logics Proving 定理证明
￥662满600减30售0件
2006 Conference Artificial 海外直订Logics 10th European Liverpo 逻辑学：第十届 Intelligence 人工智能中 Jelia
￥662满600减30售0件
定理证明 Order 15th 第15 Proving 海外直订Theorem Tphols Conference Higher 高阶逻辑中 International Logics
￥662满600减30售0件
文章 Memory 海外直订Programming 编程逻辑：纪念哈拉尔·甘辛格 Harald Ganzinger Essays Logics
￥662满600减30售0件
自动演绎 and Logics 论文 Deduction 海外直订Automated 经典 Papers Classical 逻辑 Selected 与非经典 Non
￥662满600减30售0件
Dagstuhl Jelia Artificial 海外直订Logics European Workshop German 逻辑：欧洲研讨 Intelligence 人工智能中
￥662满600减30售0件
and Theory Logics 海外直订Constraints Summ Computational 约束：理论与应 International Applications 计算逻辑中
￥662满600减30售0件
定理证明 Order 16th 第16 Proving 海外直订Theorem Tphols Conference Higher 高阶逻辑中 International Logics
￥662满600减30售0件
Conference Computational 海外直订Constraints First International 约束：第一届国 Logics 计算逻辑中 CCL
￥662满600减30售0件
Workshop European Intelligence 人工智能中 海外直订Logics Septem 逻辑学：1994年 Artificial York Jelia
￥662满600减30售0件
人工智能中 Jelia 逻辑：1992年9 海外直订Logics European 1992 Workshop Berlin Germany September
￥662满600减30售0件
2008 Conference Artificial 海外直订Logics 11th European Dresden 逻辑学：第11届 Intelligence 人工智能中 Jelia
￥662满600减30售0件
Malaga Jelia Artificial 海外直订Logics European Workshop Spain 逻辑：欧洲研讨 Intelligence 人工智能中 2000
￥662满600减30售0件
证明 Order 11th 第11届 Proving 海外直订Theorem Tphols Conference Higher 高阶逻辑定理 International Logics
￥662满600减30售0件
Logics Foundations Standard Description 非标准推论 海外直订Non 描述逻辑中 Definitions 从 Inferences and From
￥662满600减30售0件
Logics International Proving Order Higher 高阶逻辑中 海外直订Theorem TPHOLs 定理证明：第20 Conference 20th
￥662满600减30售0件
海外直订Probabilistic and Networks Probabilistic 概率逻辑和概率 Logics
￥662满600减30售0件
Logics International Proving Order Higher 高阶逻辑中 海外直订Theorem Tphols 定理证明：第17 Conference 17th
￥662满600减30售0件
Evora Jelia Artificial 海外直订Logics European Workshop Portugal 逻辑：欧洲研讨 Intelligence 人工智能中
￥662满600减30售0件
Logics International Proving Order Higher 高阶逻辑定理证明 海外直订Theorem Tphols 第十二届 Conference 12th
￥662满600减30售0件
Proof 海外直订Algebraic Aspects 非经典 Papers 逻辑学 Non 代数和证明方 Theoretic Logics and Honor Classical
￥662满600减30售0件
Languages 编程语言 8th Implementations 海外直订Programming and Programs 实现 Logics 逻辑和程序 International
￥662满600减30售0件
for Versus 海外直订Logics 并发逻辑：结构与自动机 Structure Concurrency Automata
￥662满600减30售0件
Languages 编程语言 9th Implementations 海外直订Programming and Programs 实现 第 Logics 逻辑和程序 International
￥662满600减30售0件
Programs International Languages and Logics 逻辑和程序 海外直订Programming 实现 编程语言 Implementations 7th
￥662满600减30售0件
European Jelia 12th Intelligence 逻辑 海外直订Logics 人工智能中 Helsink 第12届欧 Artificial 2010 Conference
￥662满600减30售0件
非经典 Applications 逻辑及其在模糊子集中 海外直订Non and the Their Fuzzy Subsets Handbook Logics Classical
￥662满600减30售0件
Tools 海外直订Models 算法 and 模型 Algorithms Logics 逻辑和工具
￥662满600减30售0件
and 海外直订Nonmonotonic Techniques Basic Concepts 非单调逻辑：基本概念 结果和技术 Results Logics
￥662满600减30售0件
预售 Fibring Logics
￥1750满999减80售0件
海外直订Probabilistic and Networks Probabilistic 概率逻辑与概率 Logics
￥658满600减30售0件
