Text

Automated Reasoning; 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

---

Volume ini, LNAI 13385, merupakan prosiding yang telah diseleksi dari Konferensi Bersama Internasional ke-11 tentang Penalaran Otomatis, International Joint Conference on Automated Reasoning (IJCAR) 2022, yang diselenggarakan di Haifa, Israel, pada bulan Agustus 2022. 32 makalah penelitian lengkap dan 9 makalah pendek yang disajikan bersama dengan dua ceramah yang diundang telah ditinjau dan dipilih dengan saksama dari 85 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut: Kepuasan, Penyelesaian SMT, Aritmatika; Kalkulus dan Pengurutan; Representasi Pengetahuan dan Pembenaran; Pilihan, Invariansi, Substitusi dan Formalisasi; Logika Modal; Sistem Pembuktian dan Pencarian Pembuktian; Evolusi, Penghentian dan Masalah Keputusan

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

006.3 BLA a

Publisher

Heidelberg, Jerman : Springer International Publishing., 2022

Collation

1 online resource (XV, 756 Pages)

Language

English

ISBN/ISSN

978-3-031-10769-6

Classification

006.3

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Kecerdasan Buatan

Specific Detail Info

-

Statement of Responsibility

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-031-10769-6

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-031-10769-6

Journal Volume

13385

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment