«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Theorem Proving with the Real Numbers

Idioma InglésInglés
Libro Tapa dura
Libro Theorem Proving with the Real Numbers John Harrison
Código Libristo: 22800726
Editores SPRINGER NATURE, agosto 1998
This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers onl... Descripción completa
? points 298 b
121.59 €
50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Hasta 30 días para devoluciones

Clientes que también han comprado

Planetographie Oswald Lohse / Libro Tapa blanda
common.buy 28.09 €
Dnem i nocí Atlantikem II. David Křížek / Libro Tapa blanda
common.buy 3.49 €
KAIKAN PHRASE 2 SHINJO / Libro Libro
common.buy 9.19 €
Uma Arena de Vozes / Arena Der Stimmen Kathrin Sartingen / Libro Tapa dura
common.buy 74.79 €
Alice von Battenberg - Die Schwiegermutter der Queen Karin Feuerstein-Praßer / Libro Tapa blanda
common.buy 13.99 €
Le grand dictionnaire des malaises et des maladies - Edition Luxe Martel / Libro Tapa dura
common.buy 48.39 €
Manutenç?o Produtiva Total / Libro Tapa blanda
common.buy 41.29 €
PATRIA THORBOD Moro / Libro Libro
common.buy 32.59 €
Slowenische Managementstile in Abhangigkeit der Kulturdimensionen Elvis Kenik / Libro Tapa blanda
common.buy 63.49 €
Mixtape Pluto Future / Audio CD de audio
common.buy 26.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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Theorem Proving with the Real Numbers
Autor John Harrison
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1998
Número de páginas 196
EAN 9780387762562
ISBN 0387762566
Código Libristo 22800726
Editores SPRINGER NATURE

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Impact of Hitler Maurice Cowling / Libro Tapa blanda
common.buy 58.99 €
Nuevo
Fairy Unicorns Story Collection Nuno Alexandre Vieira / Libro Tapa blanda
common.buy 10.49 €
The Worries of a Not So Dead Man Christopher T. Dabrowski / Libro Tapa blanda
common.buy 8.09 €
Baldwin Lee LEE BALDWIN / Libro Tapa dura
common.buy 93.89 €
Art of Self-Improvement Anna Katharina Schaffner / Libro Tapa dura
common.buy 23.39 €
River Master Letter of Transmittal and Special Report U S Geological Survey / Libro Tapa blanda
common.buy 17.29 €
Live In Bonn Barclay James Harvest featuring Les Holroyd / Audio CD de audio
common.buy 17.99 €
Waupaca Kim J. Heltemes / Libro Tapa dura
common.buy 25.79 €
Heat and Mass Transfer Karl Stephan / Libro Tapa blanda
common.buy 93.09 €
Twenty-Six Miles Professor of Linguistics Andrew (University of Essex University of Cambridge University of Cambridge University of Essex University of Essex Universit / Libro Tapa blanda
common.buy 18.09 €
COSTUME OF COLONIAL TIMES ALICE MORSE EARLE / Libro Tapa dura
common.buy 43.59 €
Detention under the Immigration Acts: Law and Practice Rory Dunlop / Libro Tapa blanda
common.buy 180.29 €
IUTAM Symposium on Turbulence in the Atmosphere and Oceans David Dritschel / Libro Tapa blanda
common.buy 169.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?