关注微信公众号查券更方便
英文原版 Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
现货 可计算性理论 英文原版 Computability Theory 数学 教材 Rebecca Weber【中商原版】
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论
【预售】Automata and Computability
马丁 戴维斯 可计算性与不可解性 Computability and Unsolvability Martin Davis 英文原版【中商原版】
ComputabilityandLogic
按需印刷不退不换Automata and Computability:A Programmer's Perspective[9781138552425]
按需印刷不退不换Computability in Analysis and Physics[9781107168442]
预售 【中商原版】可计算性与数理逻辑 修订第5版英文原版 Computability and Logic 计算机科学 George S. Boolos,John P. Burge
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命:他的可计算性思想的影响
海外直订Higher-Order Computability 高阶可计算性
预售 按需印刷 Automata and Computability
海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑:
海外直订Computing with Foresight and Industry: 15th Conference on Computability in Europ 具有远见和行业的计算:第15
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象
海外直订Mathesis Universalis, Computability and Proof 通用数学,可计算性和证明
海外直订Mathematical Theory and Computational Practice: 5th Conference on Computability 数学理论与计算实践:第五届
海外直订Models of Computation in Context: 7th Conference on Computability in Europe, Cie 上下文中的计算模型:第7届欧
【预订】Automata and Computability
海外直订Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, 追求普适性:第12届欧洲可计
海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性
海外直订Turing Computability: Theory and Applications 图灵可计算性:理论与应用
海外直订Evolving Computability: 11th Conference on Computability in Europe, Cie 2015, Bu 演化的可计算性:第11届欧洲
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
海外直订Computability and Randomness 可计算性与随机性
海外直订Computability of Julia Sets Julia集的可计算性
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性:罗德尼·G
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递
海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计
按需印刷不退不换Structure and Randomness in Computability and Set Theory[9789813228221]
海外直订Sailing Routes in the World of Computation: 14th Conference on Computability in 计算世界中的航路:第十四届
Theory of Recursive Functions and Effective Computability 企鹅兰登
海外直订Models of Computation: An Introduction to Computability Theory 计算模型:可计算性理论导论
【3-4周达】Computability and Logic [9780521701464]
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角
海外直订Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, C 揭示动态和复杂性:第十三届
海外直订Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, 分析中的可计算性和复杂性:
海外直订Foundations of Computability Theory 可计算性理论基础
海外直订Computability: A Mathematical Sketchbook 可计算性:数学画册
海外直订Computability in Analysis and Physics 分析和物理中的可计算性
海外直订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 逻辑与算法理论:第四届欧洲
海外直订Computability, Forcing and Descriptive Set Theory 可计算性、强迫性与描述集合论
预订 Computability and Unsolvability [9780486614717]
【3-4周达】精装 Computability and Randomness [9780199230761]
【3-4周达】The Annotated Turing: A Guided Tour Through Alan Turing'S Historic Paper On Computability ... [9780470229057]
【3-4周达】Theory of Recursive Functions and Effective Computability [9780262680523]
【3-4周达】Computability, Enumerability, Unsolvability: Directions in Recursion Theory - Computabilit... [9780521557368]
【3-4周达】Computability Theory [9780821873922]
Theory of Recursive Functions and Effective Computability企鹅兰登 英文原版
【3-4周达】精装 Computability Theory: An Introduction to Recursion Theory [9780123849588]
【3-4周达】Computability: An Introduction to Recursive Function Theory [9780521294652]
【3-4周达】Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 20... [9783030229955]
【3-4周达】精装 Computability and Logic [9780521877527]
【3-4周达】An Early History of Recursive Functions and Computability from Godel to Turing [9780983700401]
【3-4周达】Computability and Randomness [9780199652600]
【3-4周达】精装 Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Com... [9781771882477]
【3-4周达】精装 Automata and Computability: A Programmer's Perspective [9781138552425]
【3-4周达】精装 Computability and Complexity [9780262048620]
【3-4周达】Foundations of Logic – Completeness, Incompleteness, Computability [9781684000005]
【3-4周达】精装 Initial Computability, Algebraic Specifications, and Partial Algebras [9783112573419]
【3-4周达】Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Softcove... [9783319824437]
【3-4周达】Computability and Models : Perspectives East and West [9781461352259]
【3-4周达】Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, Ci... [9783319944173]
【3-4周达】精装 Computability in Analysis and Physics: - Computability in Analysis and Physics [9781107168442]
【3-4周达】Models of Computation : An Introduction to Computability Theory [9781848824331]
【3-4周达】Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algori... [9783642057298]
【3-4周达】Computability in Combinatory Spaces : An Algebraic Generalization of Abstract First Order ... [9789401051651]
【3-4周达】精装 Computability of Julia Sets: - Computability of Julia Sets Preliminary Entry 23 [9783540685463]
【3-4周达】Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe,... [9783642030727]
【3-4周达】Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His... [9783319500614]
【3-4周达】Computability of Julia Sets [9783642088063]
【3-4周达】Turing's Revolution : The Impact of His Ideas about Computability (Softcover reprint of th... [9783319793801]
【3-4周达】精装 Martin Davis on Computability, Computational Logic, and Mathematical Foundations (1st... [9783319418414]
【3-4周达】Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, So... [9783642218743]
【3-4周达】精装 Turing Computability : Theory and Applications (1st ed. 2016) [9783642319327]
【3-4周达】The Foundations of Computability Theory (Softcover reprint of the original 1st ed. 2015) [9783662516010]
【3-4周达】精装 Programs as Diagrams : From Categorical Computability to Computable Categories [9783031348266]
【3-4周达】Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, ... [9783319587400]
【3-4周达】Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athen... [9783540694052]
海外直订Computability and Logic 数理逻辑附练习题
【3-4周达】Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE... [9783540730002]
【3-4周达】Evolving Computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, ... [9783319200279]
【3-4周达】Turing Computability : Theory and Applications (Softcover reprint of the original 1st ed. ... [9783662568583]
【3-4周达】Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, Fr... [9783319401881]
【3-4周达】精装 Structure and Randomness in Computability and Set Theory [9789813228221]
【3-4周达】How the World Computes: Turing Centenary Conference and 8th Conference on Computability in... [9783642308697]
【3-4周达】Games Iteration Numbers: A Philosophical Introduction to Computability Theory [9781848902985]
【3-4周达】精装 Constructivity and Computability in Historical and Philosophical Perspective [9789401792165]
【3-4周达】Constructivity and Computability in Historical and Philosophical Perspective (Softcover re... [9789402407075]
【3-4周达】Mathesis Universalis, Computability and Proof [9783030204495]
【3-4周达】精装 Mathesis Universalis, Computability and Proof [9783030204464]
Computability and Logic 可计算性和逻辑 George S. Boolos
海外直订Computability: Computable Functions, Logic, and the Foundations of Mathematics 可计算性:可计算函数、逻辑和
海外直订Infinity, Computability and Metamathematics 无穷大、可计算性和元数学
海外直订Computability Theory 可计算性理论