Automated Reasoning, Kartoniert / Broschiert
Automated Reasoning
Buch
- 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 43,80
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Armin Biere, Carsten Lutz, Sara Negri
- Verlag:
- Springer, 07/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032325884
- Artikelnummer:
- 12883394
- Umfang:
- 488 Seiten
- Gewicht:
- 733 g
- Maße:
- 235 x 155 mm
- Stärke:
- 27 mm
- Erscheinungstermin:
- 24.7.2026
- Serie:
- Lecture Notes in Computer Science - Band 16688
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Automated Reasoning
Aktueller Preis: EUR 43,80
