Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Theorem Proving with the Real Numbers

Name: Theorem Proving with the Real Numbers
Brand: SPRINGER NATURE
SKU: 22800726
Price: 605.5 RON
Availability: InStock
Author: John Harrison
ISBN: 9780387762562

John Harrison

Limba

engleză

Carte Copertă tare

Codul Libristo: 22800726

Editura SPRINGER NATURE, august 1998

This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers onl... Descrierea completă

Codul Libristo: 22800726

279 b

605.50 lei

șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Dnem i nocí Atlantikem II. David Křížek

Carte broșată

16.85 lei

Planetographie Oswald Lohse

Carte broșată

138.51 lei

KAIKAN PHRASE 2 SHINJO

Carte

49.43 lei

Uma Arena de Vozes / Arena Der Stimmen Kathrin Sartingen

Copertă tare

349.99 lei

Alice von Battenberg - Die Schwiegermutter der Queen Karin Feuerstein-Praßer

Carte broșată

66.49 lei

Le grand dictionnaire des malaises et des maladies - Edition Luxe Martel

Copertă tare

252.48 lei

Manutenç?o Produtiva Total

Carte broșată

207.83 lei

Mixtape Pluto Future

Audio CD

126.34 lei

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

Actriță & Poliglotă

EWA KASP pentru

Redă videoclipul

Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Theorem Proving with the Real Numbers

Autor John Harrison

Limba

engleză

Legare Carte - Copertă tare

Data publicării 1998

Număr pagini 196

EAN 9780387762562

ISBN 0387762566

Codul Libristo 22800726

Editura SPRINGER NATURE

Categorii

Computing & Information Technology > Computer science > Artificial intelligence

Dăruiește această carte chiar astăzi

Este foarte ușor

1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Detention under the Immigration Acts: Law and Practice Rory Dunlop

Carte broșată

956.43 lei

Fairy Unicorns Story Collection Nuno Alexandre Vieira

Carte broșată

54.42 lei

The Worries of a Not So Dead Man Christopher T. Dabrowski

Carte broșată

42.87 lei

Baldwin Lee LEE BALDWIN

Copertă tare

489.56 lei

Art of Self-Improvement Anna Katharina Schaffner

Copertă tare

115.10 lei

River Master Letter of Transmittal and Special Report U S Geological Survey

Carte broșată

91.68 lei

Waupaca Kim J. Heltemes

Copertă tare

136.95 lei

Heat and Mass Transfer Karl Stephan

Carte broșată

444.70 lei

Twenty-Six Miles Professor of Linguistics Andrew (University of Essex University of Cambridge University of Cambridge University of Essex University of Essex Universit

Carte broșată

96.05 lei