Logical Foundations of Computer Science. 1st ed. 2018

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Artemov, Sergei, Nerode, Anil
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Arithmetic and Logic Structures Logics and Meanings of Programs
Truy cập trực tuyến:	http://doi.org/10.1007/978-3-319-72056-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/101540
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-101540
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-1015402023-10-06T22:16:20Z Logical Foundations of Computer Science. 1st ed. 2018 Artemov, Sergei Nerode, Anil Computer Science Mathematical Logic and Formal Languages Arithmetic and Logic Structures Logics and Meanings of Programs 2020-09-11T10:57:24Z 2020-09-11T10:57:24Z 2018 Book 978-3-319-72055-5 978-3-319-72056-2 http://doi.org/10.1007/978-3-319-72056-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/101540 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 Arithmetic and Logic Structures Logics and Meanings of Programs
spellingShingle	Computer Science Mathematical Logic and Formal Languages Arithmetic and Logic Structures Logics and Meanings of Programs Artemov, Sergei Nerode, Anil Logical Foundations of Computer Science. 1st ed. 2018
format	Book
author	Artemov, Sergei Nerode, Anil
author_facet	Artemov, Sergei Nerode, Anil
author_sort	Artemov, Sergei
title	Logical Foundations of Computer Science. 1st ed. 2018
title_short	Logical Foundations of Computer Science. 1st ed. 2018
title_full	Logical Foundations of Computer Science. 1st ed. 2018
title_fullStr	Logical Foundations of Computer Science. 1st ed. 2018
title_full_unstemmed	Logical Foundations of Computer Science. 1st ed. 2018
title_sort	logical foundations of computer science. 1st ed. 2018
publisher	Springer International Publishing
publishDate	2020
url	http://doi.org/10.1007/978-3-319-72056-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/101540
_version_	1779409408482082816

Logical Foundations of Computer Science. 1st ed. 2018

Những quyển sách tương tự