关注微信公众号查券更方便
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos进口原版英文书籍
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序:从范畴可计算性到可计算范畴:
马丁 戴维斯 可计算性与不可解性 Computability and Unsolvability Martin Davis 英文原版【中商原版】
预订 Discrete Structures, Logic, and Computability 离散结构,逻辑,和可计算性: 9781284070408
英文原版Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性进口书籍
英文原版 Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性
海外直订Mathesis Universalis, Computability and Proof 通用数学,可计算性和证明
海外直订Computability and Complexity Theory 可计算性与复杂性理论
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命:他的可计算性思想的影响
海外直订Theory of Recursive Functions and Effective Computability 递归函数理论与有效可计算性
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
海外直订Revolutions and Revelations in Computability: 18th Conference on Computability i 可计算性的革命和启示:第18届
海外直订Computability in Analysis and Physics 分析和物理中的可计算性
海外直订Computability in Context: Computation and Logic in the Real World 语境中的可计算性:现实世界中的计算与逻辑
海外直订Computability Theory 可计算性理论
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递
海外直订Computability 可计算性
海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性
海外直订Structure and Randomness in Computability and Set Theory 可计算性、强迫性与描述集合论
海外直订Turing Computability: Theory and Applications 图灵可计算性:理论与应用
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象
海外直订Higher-Order Computability 高阶可计算性
海外直订Computability and Complexity 可计算性和复杂性
海外直订Theories of Computability 可计算性理论
海外直订Computability and Randomness 可计算性与随机性
马丁 英文原版 Computability and Unsolvability 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递
海外直订Foundations of Computability Theory 可计算性理论基础
海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑:
【当当网正版书籍】可计算性与计算复杂性导引(第3版)
海外直订Automata and Computability 自动机与可计算性
海外直订Models and Computability 模型与可计算性
海外直订Computability: A Mathematical Sketchbook 可计算性:数学画册
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
海外直订Undecidability, Uncomputability, and Unpredictability 不可测性、不可计算性和不可预测性
海外直订Undecidability, Uncomputability, and Unpredictability 不可预测性、不可计算性和不可预测性
海外直订Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S 可计算性、复杂性和语言:理
【中商原版】可计算性与数理逻辑 修订第5版英文原版 Computability and Logic 计算机科学 George S. Boolos,John P. Burge
现货 可计算性理论 英文原版 Computability Theory 数学 教材 Rebecca Weber【中商原版】
海外直订Infinity, Computability and Metamathematics 无穷大、可计算性和元数学
海外直订Proofs and Algorithms: An Introduction to Logic and Computability 证明与算法:逻辑与可计算性导论
海外直订Models of Computation: An Introduction to Computability Theory 计算模型:可计算性理论导论
海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性:罗德尼·G
海外直订Computability: Computable Functions, Logic, and the Foundations of Mathematics 可计算性:可计算函数、逻辑和数学
海外直订Computability of Julia Sets Julia集的可计算性
海外直订Evolving Computability: 11th Conference on Computability in Europe, Cie 2015, Bu 演化的可计算性:第11届欧洲
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象
海外直订Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, 分析中的可计算性和复杂性:
海外直订Reflexive Structures: An Introduction to Computability Theory 反身结构:可计算性理论导论
海外直订Computability and Decidability: An Introduction for Students of Computer Science 可计算性和可判定性:计算机
海外直订Automata and Computability 自动机和可计算性
海外直订Computability: A Mathematical Sketchbook 可计算性:数学速写本
海外直订A Mathematical Primer on Computability 关于可计算性的数学入门
海外直订The Computability of the World: How Far Can Science Take Us? 世界的可计算性:科学能把我们带多远?
话语意义的可计算性研究 人民日报学术文库
计算理论导引(原书第3版)计算机科学丛书 自动机与语言 可计算性理论 计算复杂性理论 数学形式下蕴涵的概念
计算理论导引(原书第3版)计算机科学丛书 自动机与语言 可计算性理论 计算复杂性理论 数学形式下蕴涵的概念 大学教材理论书籍
计算理论导引 原书第3版 计算机科学丛书 自动机与语言 可计算性理论 计算复杂性理论 数学形式下蕴涵的概念 大学教材理论书籍
正版包邮 话语意义的可计算性研究 人民日报学术文库 人民日报出版社书籍 9787511564153
话语意义的可计算性研究 文化与传播书籍
可计算性与计算复杂性导引(第3版高等院校计算机专业及专业基础课系
可计算性与计算复杂性导引(第3版高等院校计算机专业及专业基础课系列教材) 博库网
可计算性与计算复杂性导引 张立昴 编著 9787301177686 北京大学出版社 正版现货直发
可计算性与计算复杂性导引第3版 张立昂 著作 大学教材大中专 新华书店正版图书籍 北京大学出版社
【出版社直供】可计算性与计算复杂性导引(第3版) 张立昂9787301177686北京大学出版社
正版包邮 可计算性与计算复杂性导引(第3版) 当当网畅销图书籍
现货正版直发 可计算性与计算复杂性导引(第3版)北京大学出版社
可计算性与计算复杂性导引 第3版9787301177686
【出版社直供】可计算性与计算复杂性导引(第3版) 张立昂 9787301177686
可计算性与计算复杂性导引(第3版)9787301177686北京大学出版社 全新正版
可计算性与计算复杂性导引(第3版) 张立昂 北京大学出版社
正版书籍 可计算性与计算复杂性导引(第3版) 张立昂北京大学出版社9787301177686
正版可计算性与计算复杂性导引(第3版)北京大学出版社
【正版包邮】可计算性与计算复杂性导引 张立昂 编著 北京大学出版社
【满45元包邮】话语意义的可计算性研究 人民日报学术文库
话语意义的可计算性研究 人民日报学术文库 龙飞 著 9787511564153 人民日报出版社
【正版书籍】 语言的可计算性与可量化研究 (英)韩礼德M. A. K. Halliday 著,刘世铸 等译 北京大学出版社
语言的可计算性与可量化研究 (英)韩礼德M. A. K. Halliday 著,刘世铸 等译 9787301256282 北京大学出版社 正版现货直发