語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
Theory and applications of computability, in cooperation with the association computability in Europe,
書目資訊
Higher-order computability
~
Longley, John.
Higher-order computability
by:
Longley, John.
Apartness and uniformitya constructi...
~
Bridges, Douglas S.
Apartness and uniformitya constructive development /
by:
Bridges, Douglas S.
Reverse mathematicsproblems, reductions, and proofs /
by:
Dzhafarov, Damir D.
Programs as diagramsfrom categorical computability to computable categories /
by:
Pavlovic, Dusko.
處理中
...
變更密碼
登入
