Applied Logic for Computer Scientists . 1st ed. 2017

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Ayala-Rincón, Mauricio, Moura, Flávio L. C. de
Đị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://doi.org/10.1007/978-3-319-51653-0
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98806
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-98806
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-988062023-10-06T16:52:13Z Applied Logic for Computer Scientists . 1st ed. 2017 Ayala-Rincón, Mauricio Moura, Flávio L. C. de Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Math Applications in Computer Science 2020-09-11T05:25:55Z 2020-09-11T05:25:55Z 2017 Book 978-3-319-51651-6 978-3-319-51653-0 http://doi.org/10.1007/978-3-319-51653-0 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98806 en Undergraduate Topics in Computer Science Springer Nature Switzerland 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
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Math Applications in Computer Science
spellingShingle Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Math Applications in Computer Science
Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
Applied Logic for Computer Scientists . 1st ed. 2017
format Book
author Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
author_facet Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
author_sort Ayala-Rincón, Mauricio
title Applied Logic for Computer Scientists . 1st ed. 2017
title_short Applied Logic for Computer Scientists . 1st ed. 2017
title_full Applied Logic for Computer Scientists . 1st ed. 2017
title_fullStr Applied Logic for Computer Scientists . 1st ed. 2017
title_full_unstemmed Applied Logic for Computer Scientists . 1st ed. 2017
title_sort applied logic for computer scientists . 1st ed. 2017
publisher Springer International Publishing
publishDate 2020
url http://doi.org/10.1007/978-3-319-51653-0
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98806
_version_ 1819825274849591296