Isbn: 9783032325914 - automated reasoning: 13th international joint conference, ijcar 2026, lisbon, portugal, july 26–29, 2026, proceedings, part ii (lecture notes in computer science, 16689) (2 Ergebnisse)
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,73
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16689)
Biere, Armin (Editor)/ Lutz, Carsten (Editor)/ Negri, Sara (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,28
EUR 14,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 392 pages. 6.10x0.89x9.25 inches. In Stock.
