Categorías

Atención al cliente
915 757 000
De Lunes a Viernes
De 9:00h a 19:00h

Recomendador de libros

Dinos qué te gusta y te recomendamos qué leer

Los libros más deseados

Compra online los libros más deseados por nuestros clientes

Novedades en libros. Diciembre de 2026

Todas las novedades editoriales de diciembre de 2026

Listas de libros recomendados

Novedades, sagas y recomendaciones por temáticas

Click & Collect

Compra online y recoge en librería sin pago anticipado ni gastos de envío

¡Opina y gana!

Deja tu reseña y participa en el sorteo mensual

Nuestras librerías

BARCELONA

(punto de recogida)
Gran Vía de les Corts Catalanes, 594, (Librería Hispano Americana)
933 18 05 08

LA OROTAVA

Multicentro Comercial El Trompo, Local P5A
922 98 71 60

LAS PALMAS DE GRAN CANARIA

Calle José Franchy Roca, 13
828 15 00 80

MÁLAGA

Av. Doctor Manuel Domínguez, 6
951 02 05 02

PALMA

C/ Marqués de Fontsanta, 6
971 46 53 61

SAN MIGUEL DE ABONA

CC La Gran Manzana
Avda. Lucio Díaz Flores Feo, no11, Loc 1.13
922 16 51 00

SANTA CRUZ DE TENERIFE

Av. Tres de Mayo, 71
922 23 61 83

ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos desde 18€ para España y Portugal peninsulares, Tenerife, Gran Canaria y Mallorca
¿No sabes qué libro leer? Prueba nuestro recomendador de libros
Portada de Newborn, M: Automated Theorem Proving
Click para ampliar

Newborn, M: Automated Theorem Proving

Monty Newborn

Monty Newborn

Detalles del libro

EditorialSpringer-Verlag GmbH
Páginas248
IdiomaInglés
ISBN9780387950754
ISBN-100387950753

Detalles del libro

Autor/esMonty Newborn
EditorialSpringer-Verlag GmbH
Páginas248
IdiomaInglés
ISBN9780387950754
ISBN-100387950753
166,91 €
158,56 €
5 a 30 días
Envío Gratis al comprar este libro

Resumen

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and... Leer más

Sé el primero en valorar este libro

Otros libros de Literatura en Inglés:

The Truth Is the Way

The Truth Is The Way

  • Christopher Ben Simpson
  • 234 páginas
  • 101,86€ 96,76€
101,86€ 96,76€
Politics of Liberation

Politics Of Liberation

  • Enrique Dussel
  • 610 páginas
  • 123,80€ 117,61€
123,80€ 117,61€
Weaving Narrative

Weaving Narrative

  • Monica L. Wright
  • 206 páginas
  • 85,78€ 81,49€
85,78€ 81,49€
A Treasury of Mah¿y¿na S¿tras

A Treasury Of Mah¿y¿na S¿tras...

  • 57,73€ 54,84€
57,73€ 54,84€
Becoming Human

Becoming Human

  • Chad Wellmon
  • 338 páginas
  • 57,00€ 54,15€
57,00€ 54,15€
Literature and Philosophy

Literature And Philosophy

  • Jennifer Anna Gosetti-Ferencei
  • 280 páginas
  • 49,94€ 47,44€
49,94€ 47,44€
Broken Lights and Mended Lives

Broken Lights And Mended Lives

  • William Caferro
  • 252 páginas
  • 42,26€ 40,14€
42,26€ 40,14€
Self-Knowledge in Plato's Phaedrus

Self-knowledge In Plato's Phaedrus

  • Charles L. Griswold Jr.
  • 336 páginas
  • 68,47€ 65,05€
68,47€ 65,05€

Otra información de interés

  • Portada: Newborn, M: Automated Theorem Proving de Springer-Verlag GmbH
  • Editorial: Springer-Verlag GmbH |
  • Sinopsis:

    El autor de Newborn, M: Automated Theorem Proving, con isbn 978-0-387-95075-4, es Monty Newborn, esta publicación tiene doscientas cuarenta y ocho páginas.

Newborn, M: Automated Theorem Proving

Suscríbete a nuestra Newsletter

Descubre antes que nadie las novedades, preventas y promociones exclusivas. Recibe nuestra newsletter semanal con lo mejor del mundo editorial directamente en tu bandeja de entrada.