Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Jasmin Blanchette, Laura Kovács, Dirk Pattinson | vi |
| dc.date.accessioned | 2024-07-03T07:12:22Z | - |
| dc.date.available | 2024-07-03T07:12:22Z | - |
| dc.date.issued | 2022 | - |
| dc.identifier.isbn | 9783031107696 | vi |
| dc.identifier.other | OER000003270 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25173 | - |
| dc.description | Ebook miễn phí tại trang https://directory.doabooks.org/ | vi |
| dc.description.abstract | LNAI 13385 được cấu thành từ Hội nghị chung quốc tế lần thứ 11 về suy luận tự động, IJCAR 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022. 32 tài liệu nghiên cứu đầy đủ và 9 bài báo ngắn được trình bày cùng với hai buổi tọa đàm được mời đã được xem xét kỹ lưỡng. được xem xét và lựa chọn từ 85 bài nộp. Các bài viết tập trung vào các chủ đề sau: Sự thỏa mãn, Giải SMT, Số học; Tính toán và thứ tự; Biểu diễn tri thức và biện minh; Lựa chọn, Bất biến, Thay thế và Chính thức hóa; Logic phương thức; Hệ thống Bằng chứng và Tìm kiếm Bằng chứng; Các vấn đề về tiến hóa, chấm dứt và quyết định. Đây là một cuốn sách truy cập mở. | vi |
| dc.description.uri | https://directory.doabooks.org/handle/20.500.12854/91302 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer | 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 | Logic máy tính | vi |
| dc.subject | Chứng minh định lý tự động | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | QA76.9 | vi |
| dc.title | Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings | 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
