Computational category theory

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Rydeheard, D.E., Burstall, R.M.
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: 2009
Những chủ đề:
Truy cập trực tuyến:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1782
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-1782
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-17822012-03-03T04:59:40Z Computational category theory Rydeheard, D.E. Burstall, R.M. Toán học 2009-12-23T01:16:26Z 2009-12-23T01:16:26Z 1987 Book https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1782 en application/pdf
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Toán học
spellingShingle Toán học
Rydeheard, D.E.
Burstall, R.M.
Computational category theory
format Book
author Rydeheard, D.E.
Burstall, R.M.
author_facet Rydeheard, D.E.
Burstall, R.M.
author_sort Rydeheard, D.E.
title Computational category theory
title_short Computational category theory
title_full Computational category theory
title_fullStr Computational category theory
title_full_unstemmed Computational category theory
title_sort computational category theory
publishDate 2009
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1782
_version_ 1819829366725541888