Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Lingua: inglese

Editore: Springer 1995-08, 1995

3540602755 / 9783540602750

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Venditore AbeBooks dal 2 agosto 2010

Brossura

Condizione: Nuovo

EUR 58,92

EUR 7,76 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Codice articolo 6666-IUK-9783540602750

Titolo
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Autore
Schubert, E. Thomas
Editore
Springer 1995-08
Anno di pubblicazione
1995
Condizione
New
Rilegatura
PF
Lingua
inglese
ISBN 10
3540602755
ISBN 13
9783540602750

Chiron Media

Wallingford, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 2 agosto 2010

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 24 a 38 giorni lavorativiDa 24 a 38 giorni lavorativi
Primo articoloEUR 7,76EUR 7,76
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.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Regno Unito RG30 1DZ