Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings: . 8th (Lecture Notes in Computer Science)

Lingua: inglese

Editore: Springer 2009-02-22, 2009

3540602755 / 9783540602750

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Venditore AbeBooks dal 2 agosto 2010

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 57,49

EUR 18,06 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni
Titolo
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings: . 8th (Lecture Notes in Computer Science)
Autore
E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Editore
Springer 2009-02-22
Anno di pubblicazione
2009
Condizione
New
Rilegatura
Paperback
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 14 a 21 giorni lavorativiDa 14 a 21 giorni lavorativi
Primo articoloEUR 18,06EUR 18,06
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