Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Thông tin tài liệu

Nhan đề :	Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Người chỉnh sửa::	Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Từ khoá :	Khoa học máy tính; Logic máy tính; Chứng minh định lý tự động; Hội thảo
Năm xuất bản :	2022
Nhà xuất bản :	Springer
Tóm tắt :	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ở.
Mô tả:	Ebook miễn phí tại trang https://directory.doabooks.org/
URI:	http://dlib.hust.edu.vn/handle/HUST/25173
Liên kết tài liệu gốc:	https://directory.doabooks.org/handle/20.500.12854/91302
ISBN :	9783031107696
Trong bộ sưu tập:	OER - Công nghệ thông tin