关注微信公众号查券更方便
New Dental Cleaner Household Dental Calculi Remover Electric
【预订】Semantics, Logics, and Calculi
【预订】Observational Calculi and Associatio...
【预售】Proof Theory: Sequent Calculi and Related Formali
【预订】Lambda Calculi
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
【预订】Unification of Fractional Calculi with Applications 9783030869229
按需印刷不退不换FUNCTIONAL CALCULI[9789814415972]
【3-4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]
【3-4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Jap... [9783540255932]
【3-4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Niels... [9783319278094]
【3-4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad... [9783642216909]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150526]
【3-4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, He... [9783319089171]
【3-4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent System... [9781849969512]
【3-4周达】精装 Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【3-4周达】精装 Unification of Fractional Calculi with Applications [9783030869199]
【3-4周达】精装 Observational Calculi and Association Rules [9783642117367]
预订 精装 Functional Calculi [9789814415972]
【3-4周达】精装 Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Form... [9781466564664]
【3-4周达】精装 Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150502]
【3-4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhove... [9783642389450]
【3-4周达】精装 Mobility in Process Calculi and Natural Computing [9783642248665]
【3-4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia,... [9783540403326]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150519]
【3-4周达】精装 Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【3-4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
【3-4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, ... [9783642022722]
【3-4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Pol... [9783540419600]
【3-4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
【3-4周达】Observational Calculi and Association Rules [9783642445330]
预订 精装 Generalized Galois Logics – Relational Semantics of Nonclassical Logical Calculi [9781575865737]
【3-4周达】精装 Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
【3-4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789048183531]
预订 Generalized Galois Logics – Relational Semantics of Nonclassical Logical Calculi [9781575865744]
【3-4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【3-4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【3-4周达】精装 Gentzen Calculi for Modal Propositional Logic [9789048196692]
【3-4周达】Gentzen's Logical Calculi: (the theory pamphlet) [9783031919985]
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
按需印刷不退不换An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础,第一
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351313]
【3-4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
【3-4周达】Logical and Logico-mathematical Calculi II [9780821830215]
【3-4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]
【3-4周达】精装 Algorithimic Languages and Calculi [9780412820502]
【3-4周达】精装 Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【3-4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
【3-4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi an... [9783540565178]
【3-4周达】Relative Complexities of First Order Calculi [9783528051228]
【3-4周达】精装 Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent S... [9781852338954]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【3-4周达】Theory Reasoning in Connection Calculi [9783540655091]
【3-4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
【3-4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed... [9783642873768]
【3-4周达】精装 Program Design Calculi [9783540569435]
【3-4周达】Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, Fra... [9783540732273]
【3-4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calc... [9783540626886]
【3-4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Cal... [9783540590484]
【3-4周达】Urinary Tract Infections, Calculi and Tubular Disorders [9789400980778]
【3-4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, I... [9783540657637]
【3-4周达】Unification of Fractional Calculi with Applications [9783030869229]
【3-4周达】精装 Institutiones calculi integralis 3rd part [9783764314125]
【3-4周达】Program Design Calculi [9783642081644]
预订 String Diagrams for Lambda Calculi and Functional Computation 面向λ演算与函数式计算的弦图 9781009719995
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351290]
预订 String Diagrams for Lambda Calculi and Functional Computation 面向λ演算与函数式计算的弦图 9781009719971
【3-4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783034896412]
【预售】Domains and Lambda-Calculi
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351306]
【3-4周达】Performance Analysis of Soc Architectures Based on Network Calculi [9783843351102]
【3-4周达】精装 Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
【3-4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
【3-4周达】精装 Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论:结果运算的基本理论
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
【预订】Unification of Fractional Calculi with Applications 9783030869199
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论:后继计算及相关形式
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论