Automated Proof Checking

Lingua: inglese

Editore: Omniscriptum Mär 2026, 2026

613136883X / 9786131368837

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 156,00

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Automated proofchecking is the process of using software for checking proofs forcorrectness. It is one of the most developed fields in automatedreasoning. Automated proof checking differs from automated theoremproving in that automated proof checking simply mechanically checks theformal workings of an existing proof, instead of trying to develop newproofs or theorems itself. Because of this, the task of automated proofverification is much simpler than that of automated theorem provingallowing automated proof checking software to be much simpler thanautomated theorem proving software.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 104 pp. Englisch.

Codice articolo 9786131368837

Titolo
Automated Proof Checking
Autore
Lambert M. Surhone
Editore
Omniscriptum Mär 2026
Anno di pubblicazione
2026
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
613136883X
ISBN 13
9786131368837
Peso dell'articolo
173 grammi
Dimensioni
220x150x7 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

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

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
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
  • PayPal

Descrizione dello Store

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania