Text

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

---

Buku akses terbuka ini merupakan hasil dari prosiding Konferensi Internasional ke-32 tentang Penalaran Otomatis dengan Tableaux Analitik dan Metode Terkait, TABLEAUX 2023, yang diadakan di Praha, Republik Ceko, selama 18-21 September 2023. 20 makalah lengkap dan 5 makalah pendek yang disertakan dalam buku ini bersama dengan 5 abstrak ceramah yang diundang ditinjau dan dipilih dengan saksama dari 43 kiriman. Makalah-makalah tersebut menyajikan penelitian tentang semua aspek mekanisasi penalaran dengan tableaux dan metode terkait. Makalah-makalah tersebut disusun dalam bagian topik berikut: kalkuli tableau; kalkuli sekuensial; pembuktian teorema; pembuktian yang tidak berdasar; logika modal; logika linier dan aljabar MV; logika pemisahan; logika komputasional; pembuktian teorema otomatis; kecerdasan buatan simbolik dan logika orde pertama.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

511.3 RAM a

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XXV, 482 Pages)

Language

English

ISBN/ISSN

978-3-031-43513-3

Classification

511.3

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Logika Matematis

Specific Detail Info

-

Statement of Responsibility

Revantha Ramanayake, Josef Urban

Other Information

Cataloger

Kholif Basri

Source

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

Validator

erw

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-43513-3

Journal Volume

14278

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment