Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | André Platzer, Geoff Sutcliffe | vi |
| dc.date.accessioned | 2024-09-17T02:28:30Z | - |
| dc.date.available | 2024-09-17T02:28:30Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.isbn | 9783030798765 | vi |
| dc.identifier.other | OER000003391 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25447 | - |
| dc.description | Ebook miễn phí tại trang https://library.oapen.org/ | vi |
| dc.description.abstract | Cuốn sách truy cập mở này tập trung nội dung của Hội nghị quốc tế về suy luận tự động lần thứ 28, CADE 28, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 29 bài báo đầy đủ và 7 mô tả hệ thống được trình bày cùng với 2 bài báo được mời đã được xem xét và lựa chọn cẩn thận từ 76 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://library.oapen.org/handle/20.500.12657/50048 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer Nature | 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.lcc | QA76.9 | vi |
| dc.title | Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, 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
