关注微信公众号查券更方便
海外直订Computability and Decidability: An Introduction for Students of Computer Science 可计算性和可判定性：计算机
海外直订Countable Boolean Algebras and Decidability 可数布尔代数与可判定性
海外直订Deducibility and Decidability 可演绎性和可判定性
海外直订Decidability of Logical Theories and Their Combi...
海外直订Deducibility and Decidability 可推断性和可判定性
海外直订Decidability of Parameterized Verification 参数化验证的可判性
【预售】Countable Boolean Algebras and Decidability
【预订】Decidability of Logical Theories and Their Combination
【预订】Enumerability . Decidability Computa...
【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9780792359043]
【3-4周达】Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Comple... [9783662529461]
【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9789048152988]
预订 Deducibility and Decidability
【3-4周达】Deducibility and Decidability [9780415754965]
【3-4周达】Deducibility and Decidability [9780415000338]
【3-4周达】Deductive Systems and the Decidability Problem for Hybrid Logics [9788323336952]
预订 Decidability of Parameterized Verification
预订 Decidability and Generalized Quantifiers: 9783112746509
【3-4周达】Decidability of Logical Theories and Their Combination [9783030565534]
【3-4周达】Decidability of Parameterized Verification [9783031008832]
【3-4周达】Decidability of Logical Theories and Their Combination [9783030565565]
【3-4周达】Computability and Decidability : An Introduction for Students of Computer Science [9783540058694]
【3-4周达】Decidability and Generalized Quantifiers [9783112746509]
【预订】Computability and Decidability: An I...
![【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9780792359043]](/Public/skin2/static/tqkpc/images/grey.gif)
