Thông tin tài liệu
| Title: | Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II |
| Editors: | Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt |
| Keywords: | Khoa học máy tính; Định lý tự động; Logic máy tính; Hội thảo |
| Issue Date: | 2024 |
| Publisher: | Springer Cham |
| 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. |
| Description: | Ebook miễn phí tại trang https://link.springer.com/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/25332 |
| Link item primary: | https://link.springer.com/book/10.1007/978-3-031-63501-4 |
| ISBN: | 978-3-031-63501-4 |
| Appears in Collections: | OER - Công nghệ thông tin |
ABSTRACTS VIEWS
38
VIEWS & DOWNLOAD
40
Files in This Item:
This item is licensed under a Creative Commons License
