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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Artificial Intelligence ; 14739Verlag: Cham : Springer Nature Switzerland, 2024Verlag: Cham : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XVI, 482 p. 89 illus., 42 illus. in color.)ISBN:

9783031634987

Schlagwörter:

Andere physische Formen: 9783031634970 | 9783031634994 | Erscheint auch als: 9783031634970 Druck-Ausgabe | Erscheint auch als: 9783031634994 Druck-AusgabeDDC-Klassifikation:

005.131 23

DOI: DOI: 10.1007/978-3-031-63498-7Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: 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

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare

Open Access