Skip to main content

Automated Reasoning

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

  • Conference proceedings
  • Open Access
  • Jul 2024

You have full access to this open access Conference proceedings


  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14740)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buy print copy


  • Open Access
  • Automated reasoning
  • Logic
  • Logic and verification
  • Modal and temporal logics
  • Proof theory
  • Interactive proof systems
  • Description logics,
  • Equational logic and rewriting
  • First-order logic
  • Higher order logic
  • Programming logic
  • Separation logic
  • Intuitionistic Logics
  • Deontic Logic
  • Non-classical Logics
  • Theorem Proving
  • Satisfiability Solving
  • Modal Logics
  • Rewriting

About this book

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.


Editors and Affiliations

  • Otto-Friedrich-Universität Bamberg, Bamberg, Germany

    Christoph Benzmüller

  • Computer Science Department, Carnegie Mellon University, Pittsburgh, USA

    Marijn Heule

  • The University of Manchester, Manchester, United Kingdom

    Renate A. Schmidt

Bibliographic Information

  • Book Title: Automated Reasoning

  • Book Subtitle: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

  • Editors: Christoph Benzmüller, Marijn Heule, Renate A. Schmidt

  • Series Title: Lecture Notes in Computer Science

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024

  • Softcover ISBN: 978-3-031-63500-7Due: 05 August 2024

  • eBook ISBN: 978-3-031-63501-4Due: 05 August 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 406

  • Number of Illustrations: 57 b/w illustrations

Publish with us