Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Brigitte Pientka, Cesare Tinelli | vi |
| dc.date.accessioned | 2024-08-14T10:04:52Z | - |
| dc.date.available | 2024-08-14T10:04:52Z | - |
| dc.date.issued | 2023 | - |
| dc.identifier.isbn | 978-3-031-38499-8 | vi |
| dc.identifier.other | OER000003335 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25358 | - |
| 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ở này cấu thành từ hội nghị quốc tế lần thứ 29 về Khấu trừ tự động, CADE 29, diễn ra tại Rome, Ý, vào tháng 7 năm 2023. Có 28 bài báo đầy đủ và 5 bài báo ngắn được trình bày đã được xem xét và lựa chọn kỹ lưỡng từ 77 bài đã nộp. CADE là diễn đàn chính để trình bày nghiên cứu về mọi khía cạnh của suy luận tự động, bao gồm nền tảng, ứng dụng, cách triển khai và kinh nghiệm thực tế. Bài viết được tổ chức theo các chuyên đề: Cơ sở logic; lý thuyết và nguyên tắc; thực hiện và áp dụng; ATP và AI; và mô tả hệ thống. | vi |
| dc.description.uri | https://link.springer.com/book/10.1007/978-3-031-38499-8 | 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 | Chứng minh định lý tự động | vi |
| dc.subject | Logic | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | QA76.9 | vi |
| dc.title | Automated deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 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
