Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| 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 |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
