关注微信公众号查券更方便
马丁 英文原版 Computability and Unsolvability 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
英文原版 Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
【预订】Automata and Computability
【预订】Computability and Complexity: Essays...
【预售】Computability of Julia Sets
【预订】Evolving Computability
【预订】Computability in Combinatory Spaces:...
【预订】Computability and Complexity in Analysis
预订 Constructivity and Computability in Historical and Philosophical Perspective
【预售】Automata and Computability
【预订】Beyond the Horizon of Computability
【预订】Connecting with Computability 9783030800482
【预订】Computability and Decidability: An I...
【预订】Algebraic Computability and Enumerat...
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
【预售】Computability and Complexity Theory
【预订】Computability Theory and Foundations of Mathematics 9789811259289
【预售】Computability and Logic
预订 Milliken’S Tree Theorem And Its Applications: A Computability-Theoretic Perspective
【中商原版】可计算性与数理逻辑 修订第5版英文原版 Computability and Logic 计算机科学 George S. Boolos,John P. Burge
【预售】Computability and Complexity: From a Programming Perspective
[预订]Computability and Randomness 9780199652600
【预售】Computability and Models: Perspectives East and
【预售】Combinatorics, Computability and Logic: Proceedings
【预售】Martin Davis on Computability, Compu...
【预售】Bounded Queries in Computability Theory
【预售】Computability and Models: Perspectives
【预订】Handbook of Computability and Complexity in Analysis 9783030592332
【预售】Computability, Enumerability, Unsolvability
【预订】The Foundations of Computability Theory
【预订】Computability 9783030832018
【预售】Computability: Computable Functions, Logic, and the
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序：从范畴可计算性到可计算范畴:
【预售】Computability Theory
【预售】Computability: An Introduction to Recursive Function
预订 Computability and Complexity
[预订]Computability Theory and Its Applications 9780821819227
【预订】Algebraic Computability and Enumeration Models: Recursion Theory and 9781774635759
【预订】Computability
[预订]Computability and Complexity 9780262048620
【预售】Theories of Computability
【预订】Computability in Analysis and Physic...
【预订】The Computability of the World
【预售】Definability and Computability
【预订】Computability Theory
【预售】Turing Computability: Theory and App...
【预订】COMPUTABILITY, FORCING AND DESCRIPTIVE SET THEORY
【预售】Provability, Computability and Reflection
【预售】Computability: A Mathematical Sketchbook
【预订】Mathesis Universalis, Computability and Proof
【预售】Mathesis Universalis, Computability and Proof
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
【预售】A Programming Approach to Computability
预订 Discrete Structures, Logic, and Computability 离散结构,逻辑,和可计算性: 9781284070408
[预订]Computability 9783030832049
[预订]The Foundations of Computability Theory 9783662624234
【预订】Revolutions and Revelations in Computability 9783031087394
【预订】Martin Davis on Computability, Compu...
【预售】Handbook of Computability Theory
【预订】Ordinal Computability 9783110495621
【预订】Computability and Randomness
【预售】Computability in Context: Computation and Logic in
【预售】Automata, Computability and Complexity: Theory
预订 What the Fuck is Computability?: 9781779661609
【预订】Computability Theory and Application...
按需印刷 Theory of Recursive Functions and Effective Computability
【预订】Higher-Order Computability
【预售】Models and Computability
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
预订 A Mathematical Primer on Computability: 9781848902961
ComputabilityandLogic
Computability and Logic 可计算性和逻辑 George S. Boolos
预售 按需印刷 Automata and Computability
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos进口原版英文书籍
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性
英文原版Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性进口书籍
预售 按需印刷 Theory of Recursive Functions and Effective Computability
【预售】Computability and Unsolvability
海外直订Computability and Complexity Theory 可计算性与复杂性理论
海外直订Computation and Logic in the Real World: Third Conference on Computability in Eu 真实世界中的计算和逻辑：第
海外直订Logic and Theory of Algorithms: 4th Conference on Computability in Europe, Cie 2 逻辑与算法理论:第四届欧洲
海外直订Logical Approaches to Computational Barriers: Second Conference on Computability 计算障碍的逻辑方法:第二届
海外直订New Computational Paradigms: First Conference on Computability in Europe, Cie 20 新计算范式：第一届欧洲可计
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
