Automated Reasoning
Automated Reasoning
Buch
- 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part I
- Herausgeber: Christoph Benzmüller, Renate A. Schmidt, Marijn J. H. Heule
- Springer Nature Switzerland, 07/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031634970
- Bestellnummer: 11909147
- Umfang: 500 Seiten
- Auflage: 2024
- Gewicht: 750 g
- Maße: 235 x 155 mm
- Stärke: 27 mm
- Erscheinungstermin: 2.7.2024
- Serie: Lecture Notes in Artificial Intelligence - Band 14739
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Automated Reasoning
Klappentext
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.
Automated Reasoning
EUR 43,80*
