Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer, Berlin
SKU: 52872730
Price: 198.78 PLN
Availability: PreOrder
Author: Armin Biere
ISBN: 9783032325884

13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I

Armin Biere

Carsten Lutz

Sara Negri

Język

Angielski

Książka Miękka

Kod Libristo: 52872730

Wydawnictwo Springer, Berlin, wrzesień 2026

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint... Cały opis

Kod Libristo: 52872730

113 b

Zapowiedź

Nowość

198.78 zł

Oczekiwana premiera

Wydanie 30. 09. 2026

Nawet do 30 dni na zwrot

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.