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

Applications Foundations Deduction Automated

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

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
Lambda 结石 Calculi 海外

海外直订Lambda Calculi Lambda结石

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

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

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
Lambda International Applications Conference

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
理论 Theory 运算 Consequence

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

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

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

￥538 券后￥588 0人已购买
优惠券￥ 50  领券购买 
Lambda International Applications Conference

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
扣除 Applications Foundations Deduction

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
重写键入 International Conferences

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

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
功能性结石 Functional Calculi

海外直订Functional Calculi 功能性结石

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

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

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
演化方程 Functional Equations

海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程

￥525 券后￥575 0人已购买
优惠券￥ 50  领券购买 
不确定性 Applications Fundamentals Uncertainty

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

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

海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微

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

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

￥1,069 券后￥1,169 0人已购买
优惠券￥ 100  领券购买 
演算 Observational Association 关联

海外直订Observational Calculi and Association Rules 观察性演算与关联规则

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
类型化 Lambda Typed International

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
几何 Engineering Geometric Patterns

海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程

￥1,549 券后￥1,649 0人已购买
优惠券￥ 100  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
9783642216909 International Applications Conference

【3-4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad... [9783642216909]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540419600 International Applications Conference

【3-4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Pol... [9783540419600]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Pseudodifferenti 9783764369095 Automorphic Analysis

【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540403326 International Applications Conference

【4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, S... [9783540403326]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Institutiones 9783764314118 Adnotationes Mascheronii

【3-4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes... [9783764314118]

￥1,433 券后￥1,593 0人已购买
优惠券￥ 160  领券购买 
9789048150519 Applications Foundations Deduction

【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150519]

￥1,962 券后￥2,172 0人已购买
优惠券￥ 210  领券购买 
9783319089171 International Conferences Rewriting

【4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held... [9783319089171]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9789056992675 Mathematical Derivations Deductions

【3-4周达】Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]

￥1,348 券后￥1,498 0人已购买
优惠券￥ 150  领券购买 
9783642389450 International Applications Conference

【4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven,... [9783642389450]

￥489 券后￥539 0人已购买
优惠券￥ 50  领券购买 
9789048144778 Applications Fundamentals Uncertainty

【3-4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
9780691083940 Conversion Calculi Lambda

【4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]

￥448 券后￥498 0人已购买
优惠券￥ 50  领券购买 
9783642022722 International Applications Conference

【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
理论 Theory 演算推论

海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论

￥3,001 券后￥3,101 0人已购买
优惠券￥ 100  领券购买 
9781575865737 Nonclassical Generalized Relational

预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865737]

￥710 券后￥780 0人已购买
优惠券￥ 70  领券购买 
9781575865744 Nonclassical Generalized Relational

预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865744]

￥376 券后￥416 0人已购买
优惠券￥ 40  领券购买 
Modal 9789027709295 Predicate Calculi

【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]

￥989 券后￥1,099 0人已购买
优惠券￥ 110  领券购买 
Modal 9789048183531 Predicate Calculi

【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789048183531]

￥980 券后￥1,080 0人已购买
优惠券￥ 100  领券购买 
Propositional 9789400734425 Calculi Gentzen

【4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]

￥1,310 券后￥1,450 0人已购买
优惠券￥ 140  领券购买 
结石推理 Connection Reasoning

海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
扣除 Applications Foundations Deduction

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
Lambda 类型化 Typed International

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

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