关注微信公众号查券更方便
【4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]
【4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson... [9783319278094]
【4周达】Observational Calculi and Association Rules [9783642445330]
【4周达】Unification of Fractional Calculi with Applications [9783030869199]
【4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, ... [9783642216909]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【4周达】Observational Calculi and Association Rules [9783642117367]
【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周达】Mobility in Process Calculi and Natural Computing [9783642248665]
【4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, S... [9783540403326]
【4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven,... [9783642389450]
【4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
【4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes A... [9783764314118]
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865737]
【预售 按需印刷】An Introduction to Lambda Calculi for Computer Scientists
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351290]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781852338954]
【4周达】Program Design Calculi [9783642081644]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]
【4周达】Theory Reasoning in Connection Calculi [9783540655091]
【4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and ... [9783540565178]
【4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
【4周达】Institutiones Calculi Integralis 3rd Part [9783764314125]
【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]
【4周达】Program Design Calculi [9783540569435]
【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]
【4周达】Institutiones Calculi Differentialis [9783764314095]
【4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783034896412]
【预售 按需印刷】Performance Analysis of Soc Architectures Based on Network Calculi
预售 按需印刷Calculi Differentialis Et Integralis Institutio (1768)
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
现货 Lambda 转换的演算 The Calculi of Lambda Conversion 英文原版 阿隆佐 丘奇 Alonzo Church 计算机之父【中商原版】
按需印刷FUNCTIONAL CALCULI[9789814415972]
预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Observational Calculi and Association Rules 观察性演算与关联规则
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
海外直订Functional Calculi 功能性结石
【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
【4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865744]
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150526]
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
【4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
【4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]
按需印刷An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
【4周达】Unification of Fractional Calculi with Applications [9783030869229]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351313]
海外直订An Introduction to Lambda Calculi for Computer Scientists 计算机科学家lambda计算导论
海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda
【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]
【4周达】Algorithimic Languages and Calculi [9780412820502]
海外直订医药图书Illustrations of the Constituents of Urine, Urinary Deposits, and Calculi 尿液、尿液沉积物和结石成
【4周达】Logical and Logico-mathematical Calculi II [9780821830215]
【4周达】Relative Complexities of First Order Calculi [9783528051228]
【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
海外直订医药图书Urinary Tract Infections, Calculi and Tubular Disorders 尿路感染、结石和肾小管疾病
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算基础及其在模糊推理中的应用
海外直订Mobility in Process Calculi and Natural Computing 过程演算与自然计算中的移动性
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用
海外直订Domains and Lambda-Calculi 域与Lambda计算
海外直订Domains and Lambda-Calculi 域与Lambda结石
海外直订Institutiones Calculi Integralis; Volume 1 Institutiones Calculi Integralis; Volume 1
海外直订The Microscopic Structure & Mode of Formation of Urinary Calculi 尿路结石的显微结构与形成模式
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351306]
海外直订Program Design Calculi 程序设计结石
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
海外直订Algorithimic Languages and Calculi 算法语言与结石
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
海外直订Logic of Programming and Calculi of Discrete Design: International Summer School 《程序设计逻辑和离散设计微
海外直订Institutiones Calculi Integralis; Volume 4 Institutiones Calculi Integralis; Volume 4
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
![【4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, ... [9783642216909]](/Public/skin2/static/tqkpc/images/grey.gif)
