【预售】Countable Boolean Algebras and Decidability

【预订】Enumerability . Decidability Computa...

【预订】Decidability of Logical Theories and Their Combination

【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... [9780792359043]

【3-4周达】Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Göde... [9789048152988]

预订 Deducibility and Decidability

【3-4周达】Deductive Systems and the Decidability Problem for Hybrid Logics [9788323336952]

【3-4周达】Deducibility and Decidability [9780415000338]

【3-4周达】Deducibility and Decidability [9780415754965]

预订 Decidability of Parameterized Verification

【3-4周达】Decidability of Parameterized Verification [9783031008832]

预订 Decidability and Generalized Quantifiers: 9783112746509

【3-4周达】Decidability of Logical Theories and Their Combination [9783030565534]

【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...

海外直订Decidability of Parameterized Verification 参数化验证的可判性

海外直订Decidability of Logical Theories and Their Combi...

海外直订Countable Boolean Algebras and Decidability 可数布尔代数与可判定性

海外直订Deducibility and Decidability 可演绎性和可判定性

海外直订Deducibility and Decidability 可推断性和可判定性

海外直订Computability and Decidability: An Introduction for Students of Computer Science 可计算性和可判定性：计算机