Click to look inside

Automated Reasoning by Armin Biere

Name: Automated Reasoning
Brand: WoB
SKU: 9783032325884
Price: 58.49 USD
Availability: InStock

Checking stock...

Part of Lecture Notes In Computer Science Ser series

Summary

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 feel-good place to buy books

Free US shipping over $15
Buying preloved emits 41% less CO2 than new
Millions of affordable books
Give your books a new home - sell them back to us!

Automated Reasoning by Armin Biere

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.

SKU	Unavailable
ISBN 13	9783032325884
ISBN 10	3032325889
Title	Automated Reasoning
Author	Armin Biere
Series	Lecture Notes In Computer Science Ser
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer Nature Switzerland AG
Year published	2026-07-24
Number of pages	466
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note	Unavailable