关注微信公众号查券更方便
【3-4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhove... [9783642389450]
【3-4周达】Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, Fra... [9783540732273]
【3-4周达】Observational Calculi and Association Rules [9783642445330]
【3-4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calc... [9783540626886]
【3-4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
【3-4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad... [9783642216909]
【3-4周达】Theory Reasoning in Connection Calculi [9783540655091]
【3-4周达】Mobility in Process Calculi and Natural Computing [9783642248665]
【3-4周达】Observational Calculi and Association Rules [9783642117367]
【3-4周达】Program Design Calculi [9783642081644]
【3-4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, I... [9783540657637]
【3-4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, ... [9783642022722]
【3-4周达】FUNCTIONAL CALCULI [9789814415972]
【3-4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]
【3-4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
预订 Generalized Galois Logics – Relational Semantics of Nonclassical Logical Calculi [9781575865737]
【3-4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【3-4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9780792351290]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【3-4周达】Urinary Tract Infections, Calculi and Tubular Disorders [9789400980778]
【3-4周达】Algorithimic Languages and Calculi [9780412820502]
【3-4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent System... [9781849969512]
【3-4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9780792351313]
【3-4周达】Logical and Logico-mathematical Calculi II [9780821830215]
【3-4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]
【3-4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781852338954]
【3-4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9780792351306]
【3-4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
【3-4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
【预售】Typed Lambda Calculi and Applications: 7th
【预售】Observational Calculi and Association Rules
【预售】Theory of Logical Calculi: Basic Theory of
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】The Calculi of Lambda Conversion. (Am-6)
【预订】Observational Calculi and Associatio...
【预售】Typed Lambda Calculi and Applications: 6th
【预售】Typed Lambda Calculi and Applications
【预售】Functional Calculi
【预售】Mobility in Process Calculi and Natural Computing
【预售】Existence Families, Functional Calculi and Evolution
【预订】Typed Lambda Calculi and Application...
【预售】Typed Lambda Calculi and Applications: 10th
【预订】Institutiones Calculi Integralis 2nd...
【预售】Rewriting and Typed Lambda Calculi: Joint Inte...
【预订】Semantics, Logics, and Calculi
【预订】Typed Lambda Calculi and Applications
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论
【预订】Institutiones Calculi Integralis 1st Part
【预订】Lambda Calculi
【预售】Fundamentals of Uncertainty Calculi with
【预订】Unification of Fractional Calculi with Applications 9783030869199
海外直订Lambda Calculi Lambda结石
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
按需印刷FUNCTIONAL CALCULI[9789814415972]
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
【预售】Abstract General Algebraic Logic: Applications to sequent calculi
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
海外直订Functional Calculi 功能性结石
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
海外直订Observational Calculi and Association Rules 观察性演算与关联规则
[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
【预订】Unification of Fractional Calculi with Applications 9783030869229
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
【3-4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Pol... [9783540419600]
【3-4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, He... [9783319089171]
【3-4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
【3-4周达】Unification of Fractional Calculi with Applications [9783030869199]
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论
预订 Gentzen Calculi for Modal Propositional Logic
【3-4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Niels... [9783319278094]
预订 Theory of Logical Calculi: Basic Theory of Consequence Operations: 9789401569446
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
预订 Principiorum Calculi Differentialis Et Entegralis Expositio Elementaris: Ad Normam Dissertationis AB Academia Scien
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
预订 Gentzen’s Logical Calculi: (the theory pamphlet) 根岑的逻辑演算（理论小册子）: 9783031919985
预订 Institutiones Calculi Differentialis...: 9781016366922
按需印刷An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
预订 Relative Complexities of First Order Calculi: 9783528051228
预订 Institutiones Calculi Differentialis Cum Eius Usu in Analysi Finitorum Ac Doctrina Serierum; Volume 1: 978102106849
![【3-4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhove... [9783642389450]](/Public/skin2/static/tqkpc/images/grey.gif)