关注微信公众号查券更方便
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
英文原版 Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
[预订]Computability and Randomness 9780199652600
【预订】Handbook of Computability and Complexity in Analysis 9783030592332
【预订】Evolving Computability
【预订】Computability and Complexity: Essays...
【预订】Beyond the Horizon of Computability
【预订】Connecting with Computability 9783030800482
【预售】Computability, Enumerability, Unsolvability
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos进口原版英文书籍
Computability and Logic 可计算性和逻辑 George S. Boolos
【预订】Computability Theory and Application...
【预售】Models and Computability
【预售】Theories of Computability
Milliken’S Tree Theorem And Its Applications: A Computability-Theoretic Perspective 米利肯树定理及其应用:可计算性理论
预订 Computability and Complexity
Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性
【预订】Automata and Computability
预售 按需印刷 Automata and Computability
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
【预售】Turing Computability: Theory and App...
Theory of Recursive Functions and Effective Computability 企鹅兰登
【预售】Automata and Computability
【预订】The Foundations of Computability Theory
【预订】Computability 9783030832018
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序:从范畴可计算性到可计算范畴:
Foundations of Logic Completeness, Incompleteness, Computability 逻辑基础:完备性、不完备性、可计算性 9781684000005
英文原版Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性进口书籍
马丁 英文原版 Computability and Unsolvability 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
Computability and Logic 可算性与逻辑 9780521701464
ComputabilityandLogic
[预订]Computability 9783030832049
[预订]The Foundations of Computability Theory 9783662624234
【预售】Computability: An Introduction to Recursive Function
【预订】Computability Theory
预订 Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in
【预订】Computability in Analysis and Physic...
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
Theory of Recursive Functions and Effective Computability企鹅兰登 英文原版
The Annotated Turing A Guided Tour Through Alan Turing’S Historic Paper On Computability and the Turing Machine 图灵注
【预订】Higher-Order Computability
【预订】Computability and Randomness
【3-4周达】Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, Ci... [9783319944173]
【3-4周达】Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, ... [9783319587400]
【3-4周达】Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, Fr... [9783319401881]
【3-4周达】Evolving Computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, ... [9783319200279]
【3-4周达】Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, H... [9783319080185]
【3-4周达】Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, ... [9783540421979]
【3-4周达】Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta D... [9783642139611]
【3-4周达】Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020... [9783030514655]
【3-4周达】精装 Computability : A Mathematical Sketchbook [9780387941745]
【3-4周达】精装 A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability... [9780198529804]
【3-4周达】精装 Computability and Randomness [9780199230761]
海外直订Computability and Complexity Theory 可计算性与复杂性理论
【3-4周达】Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE... [9783540730002]
【3-4周达】精装 Initial Computability, Algebraic Specifications, and Partial Algebras [9783112573419]
【3-4周达】精装 Martin Davis on Computability, Computational Logic, and Mathematical Foundations (1st... [9783319418414]
【3-4周达】精装 Computability In Context: Computation And Logic In The Real World [9781848162457]
【3-4周达】Higher-Order Computability (Softcover reprint of the original 1st ed. 2015) [9783662517116]
【3-4周达】精装 Higher-Order Computability (1st ed. 2015) [9783662479919]
【3-4周达】Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athen... [9783540694052]
【3-4周达】Automata and Computability [9781461273097]
【3-4周达】Logical Approaches to Computational Barriers : Second Conference on Computability in Europ... [9783540354666]
【3-4周达】New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amste... [9783540261797]
【3-4周达】精装 The Foundations of Computability Theory (Second Edition 2020) [9783662624203]
【3-4周达】精装 Handbook of Computability and Complexity in Analysis [9783030592332]
【3-4周达】精装 Computability and Models : Perspectives East and West [9780306474002]
预订 精装 Structure and Randomness in Computability and Set Theory [9789813228221]
【3-4周达】Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algori... [9783642057298]
预订 Timeless Machines: Computability Across Eras: 22nd Conference on Computability in Europe, CiE 20... [9783032313478]
【3-4周达】精装 Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Al... [9783540140153]
【3-4周达】Computability and Complexity Theory (2nd ed. 2011) [9781489989710]
【3-4周达】精装 Computability in Combinatory Spaces : An Algebraic Generalization of Abstract First O... [9780792315766]
【3-4周达】Turing's Revolution : The Impact of His Ideas about Computability (Softcover reprint of th... [9783319793801]
预订 Theories of Computability [9780521153430]
预订 精装 Theories of Computability [9780521553803]
【3-4周达】Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Confe... [9783031959073]
【3-4周达】精装 Automata and Computability [9780387949079]
预订 精装 Computability and Logic [9780521877527]
【3-4周达】精装 Handbook of Computability Theory: Volume 140 [9780444898821]
【3-4周达】Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in E... [9783031643088]
【3-4周达】Computability, Enumerability, Unsolvability: Directions in Recursion Theory - Computabilit... [9780521557368]
【3-4周达】精装 Definability and Computability [9780306110399]
【3-4周达】Handbook of Computability and Complexity in Analysis [9783030592363]
【3-4周达】Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His... [9783319500614]
【3-4周达】How the World Computes: Turing Centenary Conference and 8th Conference on Computability in... [9783642308697]
【3-4周达】精装 Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Com... [9781771882477]
【3-4周达】Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Softcove... [9783319824437]