Text

Automated Deduction – CADE 28; 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

---

Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-28 tentang Deduksi Otomatis, (Conference on Automated Deduction) CADE 28, yang diselenggarakan secara virtual pada bulan Juli 2021. 29 makalah lengkap dan 7 deskripsi sistem yang disajikan bersama dengan 2 makalah undangan ditinjau dan dipilih secara saksama dari 76 kiriman. CADE adalah forum utama untuk penyajian penelitian dalam semua aspek deduksi otomatis, termasuk fondasi, aplikasi, implementasi, dan pengalaman praktis. Makalah-makalah tersebut disusun dalam topik-topik berikut: Fondasi logis; teori dan prinsip; implementasi dan aplikasi; ATP dan AI; dan deskripsi sistem.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

006.3 PLA a

Publisher

Heidelberg, Jerman : Springer International Publishing., 2021

Collation

1 online resource (XIV, 650 Pages)

Language

English

ISBN/ISSN

978-3-030-79876-5

Classification

006.3

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Kecerdasan Buatan

Specific Detail Info

-

Statement of Responsibility

Andre Platzer, Geoff Sutcliffe

Other Information

Cataloger

-

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment