Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

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.
 

Dettagli sul prodotto

• Con la collaborazione di: Renate A Schmidt (Editore), Christoph Benzmüller (Editore), Marijn Heule (Editore), Marijn J. H. Heule (Editore), Marijn J.H. Heule (Editore), Marijn J H Heule (Editore), Renate A. Schmidt (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 02.07.2024
• EAN: 9783031635007
• ISBN: 978-3-0-3163500-7
• Pagine: 424
• Dimensioni: 155 mm x 23 mm x 235 mm
• Peso: 663 g
• Illustrazioni: XV, 424 p. 87 illus., 34 illus. in color.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica