Automated Reasoning 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
-
- Englisch ausgewählt
Fr. 51.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
05.08.2026
Abbildungen
XII, 380 p. 78 illus., 28 illus. in color.
Herausgeber
Armin Biere + weitereVerlag
SpringerSeitenzahl
380
Maße (L/B/H)
23.5/15.5/2.2 cm
Gewicht
593 g
Sprache
Englisch
ISBN
978-3-032-32591-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.