This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We carry a wide selection of books from South Asia, United States, UK.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condizioni di vendita e spedizione

Condizioni di vendita

Diritto di recesso

Condizioni di spedizione

Tariffe di spedizione da Germania a Italia

Tariffe di spedizione da Germania a Italia
Quantit� dell?ordine	Da 8 a 14 giorni lavorativi	Da 8 a 14 giorni lavorativi
Primo articolo	EUR 7.95	EUR 11.90

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore