Đang tải...

Enumerability, decidability computability: an introduction to the theory of recursive functions /

Chi tiết về thư mục
Tác giả chính: Hermes, Hans
Tác giả khác: Hermann, G. T., Plassmann, O. (Thông dịch viên)
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Springer-Verlag, 1969.

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 515.5 HER/E
Sao chép Trạng thái trực tiếp không khả dụng