Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 16 kết quả của 16 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1
    Computability : an introduction to recursive function theory /
    Sách
    Bằng Cutland, Nigel
    Được phát hành 1980
    Table of contents
    Publisher description
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Elementary induction on abstract structures /
    Sách
    Bằng Moschovakis, Yiannis N.
    Được phát hành 1974
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Computability with PASCAL /
    Sách
    Bằng Mallozzi, John S.
    Được phát hành 1984
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
    Hội nghị đang tiến hành Sách
    Được phát hành 1977
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Degrees of unsolvability.
    Sách
    Bằng Shoenfield, Joseph R. (Joseph Robert), 1927-
    Được phát hành 1972
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    The medvedev lattice of degrees of difficulty /
    Sách
    Bằng Poulsen, Birgit Truust
    Được phát hành 1970
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen.
    Sách
    Bằng Hermes, Hans
    Được phát hành 1961
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Recursive procedures /
    Sách
    Bằng Bakker, J. W. de (Jacobus Willem de) 1939-
    Được phát hành 1971
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    The foundations of intuitionistic mathematics, especially in relation to recursive functions /
    Sách
    Bằng Kleene, Stephen Cole, 1909-
    Được phát hành 1965
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Theory of recursive functions and effective computability.
    Sách
    Bằng Rogers, H. (Hartley), 1926-
    Được phát hành 1967
    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Introduction to the theory of computation.
    Sách
    Bằng Engeler, Erwin
    Được phát hành 1973
    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Recursivite /
    Sách
    Bằng Azra, Jean-Pierre
    Được phát hành 1973
    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Minimum impatience theorems for recursive economic models /
    Sách
    Bằng Sorger, Gerhard, 1961-
    Được phát hành 1992
    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Formal systems and recursive functions : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1965
    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Recursive function theory and logic /
    Sách
    Bằng Yasuhara, Ann
    Được phát hành 1971
    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Konstruktive Analysis.
    Sách
    Bằng Klaua, Dieter
    Được phát hành 1961
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm