Intelligent Computer Mathematics

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf
Đị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 Logics and Meanings of Programs
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83408
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-83408
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-834082020-02-20T03:21:36Z Intelligent Computer Mathematics Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs 2020-02-20T03:21:36Z 2020-02-20T03:21:36Z 2017 Book 978-3-319-62074-9 978-3-319-62075-6 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83408 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 Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf Intelligent Computer Mathematics
format	Book
author	Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf
author_facet	Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf
author_sort	Geuvers, Herman
title	Intelligent Computer Mathematics
title_short	Intelligent Computer Mathematics
title_full	Intelligent Computer Mathematics
title_fullStr	Intelligent Computer Mathematics
title_full_unstemmed	Intelligent Computer Mathematics
title_sort	intelligent computer mathematics
publisher	Springer International Publishing
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83408
_version_	1757665807474622464

Intelligent Computer Mathematics

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