loading

Enumerability. Decidability. Computability : an introduction to the theory of recursive functions / Hans Hermes ; transl. by G.T. Herman and O. Plassmann

Tác giả : Hans Hermes ; transl. by G.T. Herman and O. Plassmann

Nhà xuất bản : Springer-Verl.

Năm xuất bản : 1965

Nơi xuất bản : B. [etc.]

Mô tả vật lý : x, 245 tr. ; 24 cm

Số phân loại : 511.35

Tùng thư : Die Grundlehren der Mathematischen. Wissenschaften in Einzeldarstellungen

Chủ đề : 1. Chức năng đệ quy. 2. Định lý Gödel. 3. Hàm số khả tính. 4. Thuật toán.

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Khoa học Tổng hợp TP.HCM MLv 6707
https://phucvu.thuvientphcm.gov.vn/Item/ItemDetail/75204?siteid=2