Text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

---

Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut: pembuktian teorema dan alat-alatnya; SAT, SMT, dan Eliminasi Kuantifier; Logika Intuisi dan Logika Modal; Kalkulus, Teori Pembuktian, dan Prosedur Keputusan; serta Unifikasi, Penulisan Ulang, dan Model Komputasi.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

511.3 BEN a

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource ( XVI, 482 Pages)

Language

English

ISBN/ISSN

978-3-031-63498-7

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

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Other Information

Cataloger

Kholif Basri

Source

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

Validator

Erwin

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-63498-7

Journal Volume

14739

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment