Calculi什么牌子好,Calculi哪里有卖? - 第1页

预售 Functional Existence Evolution

【预售】Existence Families, Functional Calculi and Evolution

￥481.4 券后￥547 0人已购买
优惠券￥ 65.64  领券购买 
预售 Observational Association Calculi

【预售】Observational Calculi and Association Rules

￥1,606 券后￥1,825 0人已购买
优惠券￥ 219  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 7th

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Theory 预售 Logical Calculi

【预售】Theory of Logical Calculi: Basic Theory of

￥3,212 券后￥3,650 0人已购买
优惠券￥ 438  领券购买 
预售 Conversion Calculi Lambda

【预售】The Calculi of Lambda Conversion. (Am-6)

￥513 券后￥583 0人已购买
优惠券￥ 69.96  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥492.8 券后￥560 0人已购买
优惠券￥ 67.2  领券购买 
预售 Functional Calculi

【预售】Functional Calculi

￥820.2 券后￥932 0人已购买
优惠券￥ 111.84  领券购买 
预售 Computing Mobility Process

【预售】Mobility in Process Calculi and Natural Computing

￥1,071 券后￥1,217 0人已购买
优惠券￥ 146.04  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
预售 Sequent Calculi Related

【预售】Proof Theory: Sequent Calculi and Related Formali

￥1,326.2 券后￥1,507 0人已购买
优惠券￥ 180.84  领券购买 
预售 Fundamentals Uncertainty Calculi

【预售】Fundamentals of Uncertainty Calculi with

￥1,606 券后￥1,825 0人已购买
优惠券￥ 219  领券购买 
预售 Rewriting Calculi Lambda

【预售】Rewriting and Typed Lambda Calculi: Joint Inte...

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Semantics 预订 Calculi Logics

【预订】Semantics, Logics, and Calculi

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Application 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Application...

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Observational Associatio 预订 Calculi

【预订】Observational Calculi and Associatio...

￥1,606 券后￥1,825 0人已购买
优惠券￥ 219  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 6th

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Institutiones Integralis 预订 Calculi

【预订】Institutiones Calculi Integralis 2nd...

￥929.3 券后￥1,056 0人已购买
优惠券￥ 126.72  领券购买 
预订 Calculi Lambda

【预订】Lambda Calculi

￥616 券后￥700 0人已购买
优惠券￥ 84  领券购买 
Institutiones Integralis 预订 Calculi

【预订】Institutiones Calculi Integralis 1st Part

￥929.3 券后￥1,056 0人已购买
优惠券￥ 126.72  领券购买 
预售 Applications Algebraic Abstract

【预售】Abstract General Algebraic Logic: Applications to sequent calculi

￥1,907 券后￥2,167 0人已购买
优惠券￥ 260.04  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 10th

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
类型化 Lambda Applications 算法

海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
不确定性 Fundamentals Applications Uncertainty

海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
Lambda International Applications Conference

海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
原版中商丘奇阿隆

现货 Lambda 转换的演算 The Calculi of Lambda Conversion 英文原版阿隆佐丘奇 Alonzo Church 计算机之父【中商原版】

￥408 券后￥438 0人已购买
优惠券￥ 30  领券购买 
Applications Foundations Automated Deduction

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥535 券后￥608 0人已购买
优惠券￥ 72.96  领券购买 
Lambda 结石 Calculi 海外

海外直订Lambda Calculi Lambda结石

￥739 券后￥789 0人已购买
优惠券￥ 50  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结

￥538 券后￥588 0人已购买
优惠券￥ 50  领券购买 
扣除 Applications Foundations Automated

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
理论 Theory 运算 Consequence

海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论

￥3,001 券后￥3,101 0人已购买
优惠券￥ 100  领券购买 
Lambda International Applications Conference

海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
重写键入 International Conferences

海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
后继 Formalisms 证明形式

海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式

￥1,069 券后￥1,169 0人已购买
优惠券￥ 100  领券购买 
9789814415972 FUNCTIONAL 印刷 CALCULI

按需印刷FUNCTIONAL CALCULI[9789814415972]

￥1,150 券后￥1,190 0人已购买
优惠券￥ 40  领券购买 
Propositional Introduction Applications 预订

预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi

￥848 券后￥888 0人已购买
优惠券￥ 40  领券购买 
9783030869199 Applications Unification Fractional

【预订】Unification of Fractional Calculi with Applications 9783030869199

￥1,606 券后￥1,825 0人已购买
优惠券￥ 219  领券购买 
类型化 Lambda Typed International

海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 