Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Theorem Proving with the Real Numbers

Lingua IngleseInglese
Libro Rigido
Libro Theorem Proving with the Real Numbers John Harrison
Codice Libristo: 22800726
Casa editrice SPRINGER NATURE, agosto 1998
This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers onl... Descrizione completa
? points 279 b
114.19 €
50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Planetographie Oswald Lohse / Libro In brossura
common.buy 21.79 €
Dnem i nocí Atlantikem II. David Křížek / Libro In brossura
common.buy 3.19 €
KAIKAN PHRASE 2 SHINJO / Libro Libro
common.buy 8.39 €
Uma Arena de Vozes / Arena Der Stimmen Kathrin Sartingen / Libro Rigido
common.buy 58.59 €
Alice von Battenberg - Die Schwiegermutter der Queen Karin Feuerstein-Praßer / Libro In brossura
common.buy 12.49 €
Le grand dictionnaire des malaises et des maladies - Edition Luxe Martel / Libro Rigido
common.buy 39.29 €
Manutenç?o Produtiva Total / Libro In brossura
common.buy 39.19 €

This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important appli

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Theorem Proving with the Real Numbers
Autore John Harrison
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 1998
Numero di pagine 196
EAN 9780387762562
ISBN 0387762566
Codice Libristo 22800726
Casa editrice SPRINGER NATURE

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

River Master Letter of Transmittal and Special Report U S Geological Survey / Libro In brossura
common.buy 17.29 €
Nuovi
Fairy Unicorns Story Collection Nuno Alexandre Vieira / Libro In brossura
common.buy 8.29 €
Art of Self-Improvement Anna Katharina Schaffner / Libro Rigido
common.buy 17.59 €
Impact of Hitler Maurice Cowling / Libro In brossura
common.buy 48.59 €
Waupaca Kim J. Heltemes / Libro Rigido
common.buy 19.79 €
Heat and Mass Transfer Karl Stephan / Libro In brossura
common.buy 83.79 €
Twenty-Six Miles Professor of Linguistics Andrew (University of Essex University of Cambridge University of Cambridge University of Essex University of Essex Universit / Libro In brossura
common.buy 13.89 €
COSTUME OF COLONIAL TIMES ALICE MORSE EARLE / Libro Rigido
common.buy 43.59 €
Detention under the Immigration Acts: Law and Practice Rory Dunlop / Libro In brossura
common.buy 110.99 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?