Computing and Information Technology, Computer Science, Mathematical Theory of Computation
Automated Reasoning Lecture Notes in Artificial Intelligence

Automated Reasoning Lecture Notes in Artificial Intelligence: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

, ,
Paperback Published on: 02/07/2024
£34.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Synopsis

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.

Publisher information

  • Publisher: Springer Nature Switzerland
  • ISBN: 9783031634970
  • Number of pages: 482
  • Dimensions: 235 x 155 x 26 mm
  • Weight: 694g
  • Languages: English