关注微信公众号查券更方便
【预售】Typed Lambda Calculi and Applications: 6th
【预售】Typed Lambda Calculi and Applications: 10th
【预订】Typed Lambda Calculi and Applications
【预售】Typed Lambda Calculi and Applications
【预售】Typed Lambda Calculi and Applications: 7th
【预售】Rewriting and Typed Lambda Calculi: Joint Inte...
【预订】Semantics, Logics, and Calculi
【预订】Typed Lambda Calculi and Application...
【预订】Urinary Tract Infections, Calculi an...
【预订】Logic of Programming and Calculi of ...
【预订】Theory Reasoning in Connection Calculi
【预售 按需印刷】Performance Analysis of Soc Architectures Based on Network Calculi
【预售】Abstract General Algebraic Logic: Applications to sequent calculi
【预订】Lambda Calculi
【预售】Mobility in Process Calculi and Natural Computing
【预订】Mobility in Process Calculi and Natu...
【预订】Program Design Calculi
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
【预售】Functional Calculi
【预售】Domains and Lambda-Calculi
【预订】Institutiones Calculi Integralis 1st Part
【预订】Institutiones Calculi Integralis 2nd...
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】Existence Families, Functional Calculi and Evolution
【预售】The Calculi of Lambda Conversion. (Am-6)
【预售】Observational Calculi and Association Rules
【预售】Theory of Logical Calculi: Basic Theory of
【预订】Unification of Fractional Calculi with Applications 9783030869199
【预订】Observational Calculi and Associatio...
【预售】Fundamentals of Uncertainty Calculi with
【预订】Unification of Fractional Calculi with Applications 9783030869229
海外直订Mobility in Process Calculi and Natural Computing 过程演算与自然计算中的移动性
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
按需印刷FUNCTIONAL CALCULI[9789814415972]
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Observational Calculi and Association Rules 观察性演算与关联规则
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算基础及其在模糊推理中的应用
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用
预订 Gentzen Calculi for Modal Propositional Logic
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
海外直订Domains and Lambda-Calculi 域与Lambda结石
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
海外直订Lambda Calculi Lambda结石
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Algorithimic Languages and Calculi 算法语言与结石
海外直订Program Design Calculi 程序设计结石
预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi
现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
【4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Polan... [9783540419600]
【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]
【4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held... [9783319089171]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]
【4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]
【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]
【4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and ... [9783540565178]
【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]
【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]
【4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]
【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150502]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150519]
【4周达】Program Design Calculi [9783642081644]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351290]
【4周达】Algorithimic Languages and Calculi [9780412820502]
【4周达】Program Design Calculi [9783540569435]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351306]
【4周达】Observational Calculi and Association Rules [9783642445330]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150526]
【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【4周达】Functional Calculi [9789814415972]
【4周达】Observational Calculi and Association Rules [9783642117367]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351313]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781852338954]
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
海外直订Functional Calculi 功能性结石
【4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes A... [9783764314118]
【4周达】Institutiones Calculi Integralis 3rd Part [9783764314125]
【4周达】Institutiones Calculi Differentialis [9783764314095]
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
![【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]](/Public/skin2/static/tqkpc/images/grey.gif)
