Text

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

---

Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-29 tentang Deduksi Otomatis, Konferensi tentang Pengurangan Otomatis (CADE, Conference on Automated Deduction) 29, yang berlangsung di Roma, Italia, selama bulan Juli 2023. 28 makalah lengkap dan 5 makalah pendek yang disajikan telah ditinjau dan dipilih secara saksama dari 77 kiriman. CADE adalah forum utama untuk penyajian penelitian dalam semua aspek deduksi otomatis, termasuk landasan, aplikasi, implementasi, dan pengalaman praktis. Makalah-makalah tersebut disusun dalam topik-topik berikut: Landasan logis; teori dan prinsip; implementasi dan aplikasi; Pembuktian Teorema Otomatis (ATP, Automated Theorem Proving), dan Kecerdasan Buatan (AI, Artificial Intelligence); dan deskripsi sistem.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

003 PIE a

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XXV, 592 Pages)

Language

English

ISBN/ISSN

978-3-031-38499-8

Classification

003

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Sistem Analisis Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Brigitte Pientka, Cesare Tinelli

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-38499-8

Validator

erw

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-38499-8

Journal Volume

14132

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment