Automated Model Building

Lingua: inglese

Editore: Springer Netherlands, 2004

1402026528 / 9781402026522

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Visualizza gli articoli di questo venditore
Rilegato

Condizione: Nuovo

EUR 180,97

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model buildi.

Codice articolo 458473872

Titolo
Automated Model Building
Autore
Ricardo Caferra|Alexander Leitsch|Nicolas Peltier
Editore
Springer Netherlands
Anno di pubblicazione
2004
Condizione
New
Rilegatura
Gebunden
Lingua
inglese
ISBN 10
1402026528
ISBN 13
9781402026522

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 26 a 60 giorni lavorativiDa 26 a 60 giorni lavorativi
Primo articoloEUR 48,99EUR 48,99
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
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268