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

9789814415972 Functional Calculi 周达】

【4周达】Functional Calculi [9789814415972]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9789056992675 Mathematical Derivations Deductions

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

￥1,348 券后￥1,498 0人已购买
优惠券￥ 150  领券购买 
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  领券购买 
理论 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]

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

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

￥797 券后￥877 0人已购买
优惠券￥ 80  领券购买 
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  领券购买 
9789400734425 Propositional Gentzen Calculi

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

￥1,310 券后￥1,450 0人已购买
优惠券￥ 140  领券购买 
9789048196692 Propositional Gentzen Calculi

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

￥1,330 券后￥1,470 0人已购买
优惠券￥ 140  领券购买 
Theory 9789401569446 Consequence Operations

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

￥2,690 券后￥2,990 0人已购买
优惠券￥ 300  领券购买 
结石推理 Connection Reasoning

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

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

海外直订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  领券购买 
运算几何 Engineering Geometric

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

￥1,054 券后￥1,154 0人已购买
优惠券￥ 100  领券购买 
9780792351313 Applications Foundations Automated

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

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
类型化 Lambda Typed International

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
9781032920771 Formalisms Sequent Calculi

【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]

￥715 券后￥785 0人已购买
优惠券￥ 70  领券购买 
9780954300654 Introduction Scientists Computer

【4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]

￥245 券后￥265 0人已购买
优惠券￥ 20  领券购买 
9780821830215 mathematical Logical Calculi

【4周达】Logical and Logico-mathematical Calculi II [9780821830215]

￥1,058 券后￥1,168 0人已购买
优惠券￥ 110  领券购买 
9780792351290 Applications Foundations Automated

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

￥1,971 券后￥2,191 0人已购买
优惠券￥ 220  领券购买 
9781852338954 Concurrency Concurrent Modelling

【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781852338954]

￥1,438 券后￥1,598 0人已购买
优惠券￥ 160  领券购买 
9783030744854 Engineering Geometric Patterns

【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]

￥1,618 券后￥1,798 0人已购买
优惠券￥ 180  领券购买 
9783030744885 Engineering Geometric Patterns

【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]

￥1,205 券后￥1,335 0人已购买
优惠券￥ 130  领券购买 
9781849969512 Concurrency Concurrent Modelling

【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
9783528051228 Complexities Relative Calculi

【4周达】Relative Complexities of First Order Calculi [9783528051228]

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

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

￥1,528 券后￥1,698 0人已购买
优惠券￥ 170  领券购买 
9783540732273 International Applications Conference

【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783764314125 Institutiones Integralis Calculi

【4周达】Institutiones Calculi Integralis 3rd Part [9783764314125]

￥1,438 券后￥1,598 0人已购买
优惠券￥ 160  领券购买 
Lambda Typed International 9783540626886

【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783642437113 Computing Mobility Process

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

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

【4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540655091 Connection Reasoning Calculi

【4周达】Theory Reasoning in Connection Calculi [9783540655091]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Calculi Lambda Typed International

【4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and ... [9783540565178]

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

【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783642873768 International Programming Discrete

【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Differentialis Institutiones 9783764314095 Calculi

【4周达】Institutiones Calculi Differentialis [9783764314095]

￥1,511 券后￥1,671 0人已购买
优惠券￥ 160  领券购买 
9783642081644 Program Calculi Design

【4周达】Program Design Calculi [9783642081644]

￥1,962 券后￥2,172 0人已购买
优惠券￥ 210  领券购买 
9780412820502 Algorithimic Languages Calculi

【4周达】Algorithimic Languages and Calculi [9780412820502]

￥1,971 券后￥2,191 0人已购买
优惠券￥ 220  领券购买 