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

后继 Formalisms 证明形式

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

￥1,069 券后￥1,169 0人已购买
优惠券￥ 100  领券购买 
Propositional Introduction Applications 预订

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

￥788 券后￥888 0人已购买
优惠券￥ 100  领券购买 
不确定性 Fundamentals Applications Uncertainty

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

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

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

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

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
9783030869229 Applications Unification Fractional

【预订】Unification of Fractional Calculi with Applications 9783030869229

￥1,625 券后￥1,825 0人已购买
优惠券￥ 200  领券购买 
类型化 Lambda International Applications

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

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

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

￥1,549 券后￥1,649 0人已购买
优惠券￥ 100  领券购买 
英文 International 9783540419600 Applications

现货英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600

￥474 券后￥484 0人已购买
优惠券￥ 10  领券购买 
9781021702517 Microscopic Structure Formation

[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517

￥212 券后￥242 0人已购买
优惠券￥ 30  领券购买 
类型化 Lambda Typed International

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

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

【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]

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

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Observational 9783642445330 Association Calculi

【4周达】Observational Calculi and Association Rules [9783642445330]

￥1,416 券后￥1,566 0人已购买
优惠券￥ 150  领券购买 
9781466564664 Applications Mathematics Formalisms

【4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]

￥1,313 券后￥1,453 0人已购买
优惠券￥ 140  领券购买 
9783642216909 International Applications Conference

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783642248665 Computing Mobility Process

【4周达】Mobility in Process Calculi and Natural Computing [9783642248665]

￥989 券后￥1,099 0人已购买
优惠券￥ 110  领券购买 
Pseudodifferenti 9783764369095 Automorphic Analysis

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9789048150502 Applications Foundations Automated

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

￥1,962 券后￥2,172 0人已购买
优惠券￥ 210  领券购买 
Nielson 9783319278094 Semantics Dedicated

【4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson... [9783319278094]

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

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Theory 9789027727855 Consequence Operations

【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]

￥2,698 券后￥2,998 0人已购买
优惠券￥ 300  领券购买 
9783030869199 Applications Unification Fractional

【4周达】Unification of Fractional Calculi with Applications [9783030869199]

￥1,554 券后￥1,724 0人已购买
优惠券￥ 170  领券购买 
9789048150519 Applications Foundations Automated

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

￥1,962 券后￥2,172 0人已购买
优惠券￥ 210  领券购买 
Observational 9783642117367 Association Calculi

【4周达】Observational Calculi and Association Rules [9783642117367]

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
9783319089171 International Conferences Rewriting

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540577034 Functional Existence Evolution

【4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]

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

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

￥1,433 券后￥1,593 0人已购买
优惠券￥ 160  领券购买 
International 9783642389450 Applications Conference

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

￥489 券后￥539 0人已购买
优惠券￥ 50  领券购买 
9789056992675 Mathematical Derivations Deductions

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

￥1,348 券后￥1,498 0人已购买
优惠券￥ 150  领券购买 
9789048150526 Applications Foundations Automated

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

￥1,416 券后￥1,566 0人已购买
优惠券￥ 150  领券购买 
9789814415972 Functional Calculi 周达】

【4周达】Functional Calculi [9789814415972]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9789048144778 Fundamentals Applications Uncertainty

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

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
9783642022722 International Applications Conference

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9780691083940 Conversion Calculi Lambda

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

￥497 券后￥547 0人已购买
优惠券￥ 50  领券购买 
Propositional 预订 Gentzen Calculi

预订 Gentzen Calculi for Modal Propositional Logic

￥1,503 券后￥1,703 0人已购买
优惠券￥ 200  领券购买 
理论 Theory 演算推论

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

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

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

￥409 券后￥449 0人已购买
优惠券￥ 40  领券购买 
9781575865737 Nonclassical Generalized Relational

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

￥763 券后￥843 0人已购买
优惠券￥ 80  领券购买 
Modal 9789027709295 Predicate Calculi

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

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