Tải biểu ghi   |  Tải toàn bộ biểu ghi
Tìm thấy  1  biểu ghi .   Tiếp tục tìm kiếm : Mọi trường Nhan đề BBK Chuyên ngành DDC LOC Lớp phân loại Ngôn ngữ Nhà xuất bản NLM OAI Set Quốc gia Tác giả Thư mục chuyên đề Từ khoá Tùng thư UDC
STT Chọn Thông tin ấn phẩm 1 Computational logic and set theory : Applying formalized logic to analysis / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo . - London ; New York : Springer, 2011. - xvii, 416 tr. ; 24 cm. - ( Natural computing series, 1619-7127 ) Mã xếp giá: 511.32 S39 Đăng ký cá biệt: Lầu 2 KLF: 2000007393
Trang: 1
Sắp xếp theo : mặc định Nhan đề chính Tác giả chính Năm xuất bản Nhà xuất bản