KI-Beratung Beta

  • Produktbild: Automated Reasoning
  • Produktbild: Automated Reasoning
Band 14739

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

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

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...

Beschreibung

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.


 

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.07.2024

Abbildungen

XVI, 482 p. 89 illus., 42 illus. in color.

Herausgeber Christoph Benzmüller + weitere

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.07.2024

Abbildungen

XVI, 482 p. 89 illus., 42 illus. in color.

Herausgeber
Verlag Springer
Seitenzahl

482

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-63497-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Automated Reasoning
  • Produktbild: Automated Reasoning