The Combinatory programme/ Erwin Engeler, K. Aberer, B. Amrhein, A. Gloor, M.von Mohrenschildt
Tác giả : Erwin Engeler, K. Aberer, B. Amrhein, A. Gloor, M.von Mohrenschildt
Nhà xuất bản : Birkhauser
Năm xuất bản : 1995
Mô tả vật lý : vii,142tr; 24cm
Tùng thư :
Progress in theoretical computer science
Chủ đề : 1. Logic tổ hợp. 2. Logic toán.
Thông tin chi tiết
Tóm tắt : | Bối cảnh lịch sử và triết học của đại số và thuật toán ; Mối quan hệ đối với việc tính toán đại số - máy tính một cách logic ; Tính đại số của đại số phổ dung |
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 Quốc gia Việt Nam |
NV95.2161 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-85744.html |