零食网

8486; Logics Non Bibliography 海外直订& Mathematical Logic 逻辑 数理逻辑书目：非经典 Classical

￥662满600减30售0件

中华商务图书专营店

Sentential 海外直订A Logics Algebraic Semantics 句子逻辑 一般代数语义 for General

￥662满600减30售0件

中华商务图书专营店

Logics Foundations Standard Description 非标准推论 海外直订Non 描述逻辑中 Definitions 从 Inferences and From

￥662满600减30售0件

中华商务图书专营店

Logics Systems 海外直订Uncertain 变量与系统 and Variables 不确定逻辑

￥662满600减30售0件

中华商务图书专营店

Order 海外直订Theorem 高阶逻辑中 Higher Logics Proving 定理证明

￥662满600减30售0件

中华商务图书专营店

Dagstuhl Jelia Artificial 海外直订Logics European Workshop German 逻辑：欧洲研讨 Intelligence 人工智能中

￥662满600减30售0件

中华商务图书专营店

2008 Conference Artificial 海外直订Logics 11th European Dresden 逻辑学：第11届 Intelligence 人工智能中 Jelia

￥662满600减30售0件

中华商务图书专营店

and Theory Logics 海外直订Constraints Summ Computational 约束：理论与应 International Applications 计算逻辑中

￥662满600减30售0件

中华商务图书专营店

海外直订Probabilistic and Networks Probabilistic 概率逻辑和概率 Logics

￥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件

中华商务图书专营店

证明 Order 11th 第11届 Proving 海外直订Theorem Tphols Conference Higher 高阶逻辑定理 International Logics

￥662满600减30售0件

中华商务图书专营店

Languages 编程语言 8th Implementations 海外直订Programming and Programs 实现 Logics 逻辑和程序 International

￥662满600减30售0件

中华商务图书专营店

Proof 海外直订Algebraic Aspects 非经典 Papers 逻辑学 Non 代数和证明方 Theoretic Logics and Honor Classical

￥662满600减30售0件

中华商务图书专营店

Logics International Proving Order Higher 高阶逻辑定理证明 海外直订Theorem Tphols 第十二届 Conference 12th

￥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件

中华商务图书专营店

and 海外直订Nonmonotonic Techniques Basic Concepts 非单调逻辑：基本概念 结果和技术 Results Logics

￥662满600减30售0件

中华商务图书专营店

Logics 海外直订Belief 非经典 Non 逻辑中 信念修正 Classical Revision

￥662满600减30售0件

中华商务图书专营店

Logics International Proving Order Higher 高阶逻辑中 海外直订Theorem Tphols 定理证明：第14 Conference 14th

￥662满600减30售0件

中华商务图书专营店

Computer Study and Logi 海外直订Logics 计算机科学中 Temporal 逻辑 时间逻 Science Strategic Extensions

￥662满600减30售0件

中华商务图书专营店

定理证明 Order 18th 第18 Proving 海外直订Theorem Tphols Conference Higher 高阶逻辑中 International Logics

￥662满600减30售0件

中华商务图书专营店

Logics International Proving Order Higher 高阶逻辑中 海外直订Theorem Tphols 定理证明：第十 Conference 10th

￥662满600减30售0件

中华商务图书专营店

人工智能中 Jelia 逻辑：1992年9 海外直订Logics European 1992 Workshop Berlin Germany September

￥662满600减30售0件

中华商务图书专营店

Malaga Jelia Artificial 海外直订Logics European Workshop Spain 逻辑：欧洲研讨 Intelligence 人工智能中 2000

￥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 定理证明：第20 Conference 20th

￥662满600减30售0件

中华商务图书专营店

for Versus 海外直订Logics 并发逻辑：结构与自动机 Structure Concurrency Automata

￥662满600减30售0件

中华商务图书专营店