Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 5 kết quả của 5 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1
    Recursive analysis.
    Sách
    Bằng Goodstein, R. L. (Reuben Louis)
    Được phát hành 1961
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Hội nghị đang tiến hành Sách
    Được phát hành 1980
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Hội nghị đang tiến hành Sách
    Được phát hành 1978
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    First-order dynamic logic /
    Sách
    Bằng Harel, David, 1950-
    Được phát hành 1979
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    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:
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