查詢 sb:"Computable functions." ,共 3 筆
-
24 0 0 0 0
Hilbert's tenth problem
- 作者: Matii︠a︡sevich, I︠U︡. V.
- 出版: Cambridge, Mass. : MIT Press ©1993.
- 資料類型: 電子書
-
9 0 0 0 0
Computability and logic.
- 作者: Boolos, George.
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書
-
11 0 0 0 0
Discrete structures, logic, and computability
- 作者: Hein, James L.
- 出版: Boston : Jones and Bartlett ©1995.
- 資料類型: 電子書