Frontiers of Combining Systems

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Dixon, Clare, Finger, Marcelo
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83503
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-83503
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-835032020-02-20T03:28:39Z Frontiers of Combining Systems Dixon, Clare Finger, Marcelo Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs 2020-02-20T03:28:39Z 2020-02-20T03:28:39Z 2017 Book 978-3-319-66166-7 978-3-319-66167-4 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83503 en Lecture Notes in Computer Science Springer International Publishing AG application/pdf Springer International Publishing
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
spellingShingle Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Dixon, Clare
Finger, Marcelo
Frontiers of Combining Systems
format Book
author Dixon, Clare
Finger, Marcelo
author_facet Dixon, Clare
Finger, Marcelo
author_sort Dixon, Clare
title Frontiers of Combining Systems
title_short Frontiers of Combining Systems
title_full Frontiers of Combining Systems
title_fullStr Frontiers of Combining Systems
title_full_unstemmed Frontiers of Combining Systems
title_sort frontiers of combining systems
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83503
_version_ 1757659255410786304