Automated Reasoning 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
-
- Englisch ausgewählt
Fr. 58.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
24.07.2026
Abbildungen
XIX, 466 p. 284 illus., 169 illus. in color.
Herausgeber
Armin Biere + weitereVerlag
SpringerSeitenzahl
466
Maße (B/H)
15.5/23.5 cm
Gewicht
733 g
Sprache
Englisch
ISBN
978-3-032-32588-4
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.