Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26 29, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16688)

Biere, Armin (Editor)/ Negri, Sara (Editor)/ Lutz, Carsten (Editor)

ISBN 10: 3032325889 / ISBN 13: 9783032325884

Published by Springer, 2026

About this Item

485 pages. 6.14x0.99x9.21 inches. In Stock.

Seller Inventory # x-3032325889

Bibliographic Details

• Title: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26 29, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16688)
• Publisher: Springer
• Publication Date: 2026
• Language: English
• ISBN 10: 3032325889
• ISBN 13: 9783032325884
• Binding: Paperback
• Condition: Brand New
• Weight: 0.68 kilograms

About this title

Synopsis

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.

The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:

Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics;

Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models.