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
  • © 2024

You have full access to this open access Conference proceedings

Overview

  • 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)

Included in the following conference series:

Conference proceedings info: IJCAR 2024.

Buy print copy

Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

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.

 

Keywords

Table of contents (21 papers)

  1. Intuitionistic Logics and Modal Logics

  2. Calculi, Proof Theory and Decision Procedures

  3. Unification, Rewriting and Computational Models

Other volumes

  1. Automated Reasoning

  2. Automated Reasoning

Editors and Affiliations

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

    Christoph Benzmüller

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

    Marijn J.H. Heule

  • The University of Manchester, Manchester, UK

    Renate A. Schmidt

Bibliographic Information

Publish with us