Thông tin tài liệu
| Nhan đề : | Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II |
| Người chỉnh sửa:: | Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt |
| Từ khoá : | Khoa học máy tính; Định lý tự động; Logic máy tính; Hội thảo |
| Năm xuất bản : | 2024 |
| Nhà xuất bản : | Springer Cham |
| Tóm tắt : | 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. |
| Mô tả: | Ebook miễn phí tại trang https://link.springer.com/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/25332 |
| Liên kết tài liệu gốc: | https://link.springer.com/book/10.1007/978-3-031-63501-4 |
| ISBN : | 978-3-031-63501-4 |
| Trong bộ sưu tập: | OER - Công nghệ thông tin |
XEM MÔ TẢ
38
XEM & TẢI
40
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
