关注微信公众号查券更方便
【预售 按需印刷】Considerationes Secundae Circa Calculi Differentialis Principia
【4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
【4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
【4周达】Observational Calculi and Association Rules [9783642445330]
【4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]
【4周达】Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]
【4周达】Observational Calculi and Association Rules [9783642117367]
【4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, ... [9783642216909]
【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
【4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson... [9783319278094]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150502]
【4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
【4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven,... [9783642389450]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150526]
【4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes A... [9783764314118]
【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周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150519]
【4周达】Mobility in Process Calculi and Natural Computing [9783642248665]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, S... [9783540403326]
【4周达】Functional Calculi [9789814415972]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865737]
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789048183531]
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865744]
【4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789048196692]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【预售 按需印刷】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 [9781852338954]
【4周达】Algorithimic Languages and Calculi [9780412820502]
【4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351313]
【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【4周达】Institutiones Calculi Integralis 3rd Part [9783764314125]
【4周达】Logical and Logico-mathematical Calculi II [9780821830215]
【4周达】Program Design Calculi [9783540569435]
【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]
【4周达】Theory Reasoning in Connection Calculi [9783540655091]
【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]
【4周达】Urinary Tract Infections, Calculi and Tubular Disorders [9789400980778]
【4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and ... [9783540565178]
【4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
【4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]
【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]
【4周达】Program Design Calculi [9783642081644]
【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]
【4周达】Relative Complexities of First Order Calculi [9783528051228]
【4周达】Institutiones Calculi Differentialis [9783764314095]
【预售 按需印刷】Performance Analysis of Soc Architectures Based on Network Calculi
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351306]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
预售 按需印刷Calculi Differentialis Et Integralis Institutio (1768)
【预售】The Calculi of Lambda Conversion. (Am-6)
【预售】Typed Lambda Calculi and Applications: 6th
【预售】Typed Lambda Calculi and Applications: 10th
【预订】Typed Lambda Calculi and Applications
【预售】Typed Lambda Calculi and Applications
【预售】Observational Calculi and Association Rules
【预售】Theory of Logical Calculi: Basic Theory of
【预订】Unification of Fractional Calculi with Applications 9783030869199
【预售】Mobility in Process Calculi and Natural Computing
[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517
【预订】Typed Lambda Calculi and Application...
【预订】Lambda Calculi
【预售】Functional Calculi
【预订】Observational Calculi and Associatio...
【预售】Typed Lambda Calculi and Applications: 7th
【预售】Rewriting and Typed Lambda Calculi: Joint Inte...
【预订】Semantics, Logics, and Calculi
【预订】Institutiones Calculi Integralis 1st Part
【4周达】Unification of Fractional Calculi with Applications [9783030869199]
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】Fundamentals of Uncertainty Calculi with
【预售】Existence Families, Functional Calculi and Evolution
【预订】Institutiones Calculi Integralis 2nd...
【预售】Abstract General Algebraic Logic: Applications to sequent calculi
【预订】Unification of Fractional Calculi with Applications 9783030869229
【4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held... [9783319089171]
预订 Gentzen Calculi for Modal Propositional Logic
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
【4周达】Unification of Fractional Calculi with Applications [9783030869229]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
【预售】Domains and Lambda-Calculi
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783034896412]
【预售】An Introduction to Lambda Calculi for Computer
【预订】Mobility in Process Calculi and Natu...
