Thông tin tài liệu
| Title: | Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings |
| Editors: | Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Keywords: | Khoa học máy tính; Logic máy tính; Chứng minh định lý tự động; Hội thảo |
| Issue Date: | 2022 |
| Publisher: | Springer |
| 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ở. |
| Description: | Ebook miễn phí tại trang https://directory.doabooks.org/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/25173 |
| Link item primary: | https://directory.doabooks.org/handle/20.500.12854/91302 |
| ISBN: | 9783031107696 |
| Appears in Collections: | OER - Công nghệ thông tin |
ABSTRACTS VIEWS
32
VIEWS & DOWNLOAD
117
Files in This Item:
This item is licensed under a Creative Commons License
