Automated Reasoning with Analytic Tableaux and Related Methods

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Schmidt, Renate A., Nalon, Cláudia
Đị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 Programming Techniques
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81379
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-81379
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-813792020-02-20T01:26:35Z Automated Reasoning with Analytic Tableaux and Related Methods Schmidt, Renate A. Nalon, Cláudia Computer Science Mathematical Logic and Formal Languages Programming Techniques 2020-02-20T01:26:35Z 2020-02-20T01:26:35Z 2017 Book 978-3-319-66901-4 978-3-319-66902-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81379 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 Programming Techniques
spellingShingle	Computer Science Mathematical Logic and Formal Languages Programming Techniques Schmidt, Renate A. Nalon, Cláudia Automated Reasoning with Analytic Tableaux and Related Methods
format	Book
author	Schmidt, Renate A. Nalon, Cláudia
author_facet	Schmidt, Renate A. Nalon, Cláudia
author_sort	Schmidt, Renate A.
title	Automated Reasoning with Analytic Tableaux and Related Methods
title_short	Automated Reasoning with Analytic Tableaux and Related Methods
title_full	Automated Reasoning with Analytic Tableaux and Related Methods
title_fullStr	Automated Reasoning with Analytic Tableaux and Related Methods
title_full_unstemmed	Automated Reasoning with Analytic Tableaux and Related Methods
title_sort	automated reasoning with analytic tableaux and related methods
publisher	Springer International Publishing
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81379
_version_	1757665312718716928

Automated Reasoning with Analytic Tableaux and Related Methods

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