Rules and Reasoning

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Benzmüller, Christoph, Ricca, Francesco, Parent, Xavier, Roman, Dumitru
Đị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/88125
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-88125
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-881252020-04-06T05:39:39Z Rules and Reasoning Benzmüller, Christoph Ricca, Francesco Parent, Xavier Roman, Dumitru Computer Science Programming Techniques Programming Languages, Compilers, Interpreters 2020-04-06T05:39:39Z 2020-04-06T05:39:39Z 2018 Book 978-3-319-99905-0 978-3-319-99906-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88125 en 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
Programming Techniques
Programming Languages, Compilers, Interpreters
spellingShingle Computer Science
Programming Techniques
Programming Languages, Compilers, Interpreters
Benzmüller, Christoph
Ricca, Francesco
Parent, Xavier
Roman, Dumitru
Rules and Reasoning
format Book
author Benzmüller, Christoph
Ricca, Francesco
Parent, Xavier
Roman, Dumitru
author_facet Benzmüller, Christoph
Ricca, Francesco
Parent, Xavier
Roman, Dumitru
author_sort Benzmüller, Christoph
title Rules and Reasoning
title_short Rules and Reasoning
title_full Rules and Reasoning
title_fullStr Rules and Reasoning
title_full_unstemmed Rules and Reasoning
title_sort rules and reasoning
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88125
_version_ 1757657585818796032