Thông tin tài liệu
| Nhan đề : | Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings |
| Người chỉnh sửa:: | Revantha Ramanayake, Josef Urban |
| Từ khoá : | Khoa học máy tính; Định lý tự động; Hội thảo |
| Năm xuất bản : | 2023 |
| Nhà xuất bản : | Springer Cham |
| Tóm tắt : | Cuốn sách truy cập mở của ông cấu thành từ hội nghị quốc tế lần thứ 32 về suy luận tự động với bảng phân tích và các phương pháp liên quan, TABLEAUX 2023, được tổ chức tại Praha, Cộng hòa Séc, trong thời gian từ ngày 18 đến ngày 21 tháng 9 năm 2023.Có 20 bài báo đầy đủ và 5 bài báo ngắn trong cuốn sách này cùng với 5 bài tóm tắt của các buổi tọa đàm được mời đã được xem xét và lựa chọn cẩn thận từ 43 bài nộp. Họ trình bày nghiên cứu về tất cả các khía cạnh của việc cơ giới hóa lý luận bằng hoạt cảnh và các phương pháp liên quan. Các bài báo được tổ chức theo các phần chuyên đề sau: tính toán hoạt cảnh; phép tính tuần tự; chứng minh định lý; bằng chứng không có căn cứ; logic phương thức; logic tuyến tính và đại số MV; logic tách; và logic bậc nhất. |
| Mô tả: | Ebook miễn phí tại trang https://link.springer.com/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/25341 |
| Liên kết tài liệu gốc: | https://link.springer.com/book/10.1007/978-3-031-43513-3 |
| ISBN : | 978-3-031-43513-3 |
| Trong bộ sưu tập: | OER - Công nghệ thông tin |
XEM MÔ TẢ
33
XEM & TẢI
45
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
