Abstraction, Reformulation and Approximation

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Zucker, Jean-Daniel, Saitta, Lorenza
Đị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/82707
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-82707
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-827072020-02-20T02:43:11Z Abstraction, Reformulation and Approximation Zucker, Jean-Daniel Saitta, Lorenza Computer Science Theory of Computation Logics and Meanings of Programs 2020-02-20T02:43:11Z 2020-02-20T02:43:11Z 2005 Book 978-3-540-27872-6 978-3-540-31882-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82707 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
Theory of Computation
Logics and Meanings of Programs
spellingShingle Computer Science
Theory of Computation
Logics and Meanings of Programs
Zucker, Jean-Daniel
Saitta, Lorenza
Abstraction, Reformulation and Approximation
format Book
author Zucker, Jean-Daniel
Saitta, Lorenza
author_facet Zucker, Jean-Daniel
Saitta, Lorenza
author_sort Zucker, Jean-Daniel
title Abstraction, Reformulation and Approximation
title_short Abstraction, Reformulation and Approximation
title_full Abstraction, Reformulation and Approximation
title_fullStr Abstraction, Reformulation and Approximation
title_full_unstemmed Abstraction, Reformulation and Approximation
title_sort abstraction, reformulation and approximation
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82707
_version_ 1757650475929305088