Automated Reasoning
Automated Reasoning
Buch
- 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part II
- Herausgeber: Christoph Benzmüller, Renate A. Schmidt, Marijn J. H. Heule
- Springer Nature Switzerland, 07/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031635007
- Bestellnummer: 11909247
- Umfang: 440 Seiten
- Auflage: 2024
- Gewicht: 663 g
- Maße: 235 x 155 mm
- Stärke: 24 mm
- Erscheinungstermin: 2.7.2024
- Serie: Lecture Notes in Artificial Intelligence - Band 14740
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Automated Reasoning
Klappentext
Infotext (nur auf Basis des Vorgängers):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 81,04*
