Thông tin tài liệu
Thông tin siêu dữ liệu biểu ghi
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.editor | Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt | vi |
| dc.date.accessioned | 2024-08-06T07:19:57Z | - |
| dc.date.available | 2024-08-06T07:19:57Z | - |
| dc.date.issued | 2024 | - |
| dc.identifier.isbn | 978-3-031-63501-4 | vi |
| dc.identifier.other | OER000003309 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25332 | - |
| dc.description | Ebook miễn phí tại trang https://link.springer.com/ | vi |
| dc.description.abstract | Bộ LNAI 14739-14740 gồm hai tập này tạo thành từ Hội nghị chung quốc tế lần thứ 12 về lý luận tự động, IJCAR 2024, được tổ chức tại Nancy, Pháp, trong thời gian từ ngày 3 đến ngày 6 tháng 7 năm 2024. 39 bài nghiên cứu đầy đủ và 6 bài viết ngắn trình bày trong cuốn sách này đã được xem xét và lựa chọn cẩn thận từ 115 bài nộp. Các bài viết tập trung vào các chủ đề: chứng minh định lý và các công cụ; Loại bỏ SAT, SMT và định lượng; Logic trực giác và Logic phương thức; Giải tích, Lý thuyết chứng minh và Thủ tục ra quyết định; và các mô hình thống nhất, viết lại và tính toán. | vi |
| dc.description.uri | https://link.springer.com/book/10.1007/978-3-031-63501-4 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer Cham | vi |
| dc.rights | Attribution 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/vn/ | * |
| dc.subject | Khoa học máy tính | vi |
| dc.subject | Định lý tự động | vi |
| dc.subject | Logic máy tính | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | QA76.9 | vi |
| dc.title | Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Trong bộ sưu tập: | OER - Công nghệ thông tin | |
Danh sách tệp tin đính kèm:
Tài liệu được cấp phép theo Bản quyền Creative Commons
