Custom cover image
Custom cover image

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Artificial Intelligence ; 14739Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XVI, 482 p. 89 illus., 42 illus. in color.)ISBN:
  • 9783031634987
Subject(s): Additional physical formats: 9783031634970 | 9783031634994 | Erscheint auch als: 9783031634970 Druck-Ausgabe | Erscheint auch als: 9783031634994 Druck-AusgabeDDC classification:
  • 005.131 23
DOI: DOI: 10.1007/978-3-031-63498-7Online resources: Summary: This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access. .PPN: PPN: 189477731XPackage identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC | ZDB-2-SOB
No physical items for this record

Open Access

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT