Logic for Programming, Artificial Intelligence, and Reasoning

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82480
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-82480
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-824802020-02-20T02:29:24Z Logic for Programming, Artificial Intelligence, and Reasoning Computer Science Software Engineering/Programming and Operating Systems Programming Techniques 2020-02-20T02:29:24Z 2020-02-20T02:29:24Z 2008 Book 978-3-540-89438-4 978-3-540-89439-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82480 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Software Engineering/Programming and Operating Systems
Programming Techniques
spellingShingle Computer Science
Software Engineering/Programming and Operating Systems
Programming Techniques
Logic for Programming, Artificial Intelligence, and Reasoning
format Book
title Logic for Programming, Artificial Intelligence, and Reasoning
title_short Logic for Programming, Artificial Intelligence, and Reasoning
title_full Logic for Programming, Artificial Intelligence, and Reasoning
title_fullStr Logic for Programming, Artificial Intelligence, and Reasoning
title_full_unstemmed Logic for Programming, Artificial Intelligence, and Reasoning
title_sort logic for programming, artificial intelligence, and reasoning
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82480
_version_ 1757668349176709120