Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Revantha Ramanayake, Josef Urban | vi |
| dc.date.accessioned | 2024-08-06T09:13:36Z | - |
| dc.date.available | 2024-08-06T09:13:36Z | - |
| dc.date.issued | 2023 | - |
| dc.identifier.isbn | 978-3-031-43513-3 | vi |
| dc.identifier.other | OER000003318 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25341 | - |
| dc.description | Ebook miễn phí tại trang https://link.springer.com/ | vi |
| dc.description.abstract | 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. | vi |
| dc.description.uri | https://link.springer.com/book/10.1007/978-3-031-43513-3 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer Cham | vi |
| dc.rights | Attribution 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/vn/ | * |
| dc.subject | Khoa học máy tính | vi |
| dc.subject | Định lý tự động | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | QA76.9 | vi |
| dc.title | Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
