Đang tải...
Enumerability, decidability computability: an introduction to the theory of recursive functions /
Tác giả chính: | |
---|---|
Tác giả khác: | , |
Định dạng: | Printed Book |
Ngôn ngữ: | English |
Được phát hành: |
Springer-Verlag,
1969.
|
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 |