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
- Verlag:
- Springer Nature Switzerland, 07/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031634970
- Artikelnummer:
- 11909147
- Umfang:
- 500 Seiten
- Nummer der Auflage:
- 2024
- Auflage:
- 2024
- Gewicht:
- 750 g
- Maße:
- 235 x 155 mm
- Stärke:
- 27 mm
- Artikelnummer:
- 11909147
- Erscheinungstermin:
- 2.7.2024
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Automated Reasoning |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Paperback, Englisch | EUR 81,04* |
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*
