Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer, Berlin
SKU: 52872730
Price: 48.19 EUR
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

Lingua

Inglese

Libro In brossura

Codice Libristo: 52872730

Casa editrice Springer, Berlin, settembre 2026

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint... Descrizione completa

Codice Libristo: 52872730

118 b

In preparazione Nuovi

Nuovi

48.19 €

Novità attesa

Pubblicazione 30. 09. 2026

Fino a 30 giorni per il reso

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.