RECIBE TU LIBRO SIN GASTOS DE ENVÍO*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
Portada de First-Order Logic and Automated Theorem Proving
Click para ampliar

First-Order Logic and Automated Theorem Proving

Melvin Fitting

Melvin Fitting

Detalles del libro

EditorialSpringer
Edición2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013)
Páginas348
IdiomaInglés
ISBN9781461275152
ISBN-101461275156

Detalles del libro

Autor/esMelvin Fitting
EditorialSpringer
Edición2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013)
Páginas348
IdiomaInglés
ISBN9781461275152
ISBN-101461275156
89,01 €
84,56
24-48 h
Envío Gratis al comprar este libro

Cómpralo antes de que se agote el stock y lo recibes en casa en apenas unas horas

Resumen

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog... Leer más

Danos tu opinión de este libro

o conéctate con
Opiniones usuarios
(0)
(0)
(0)
(0)
(0)
Valoración media
-
Danos tu valoración

Otros libros de Informática:

 

Indesign Cc

  • 464 páginas
  • 28,75€ 27,31€
28,75€ 27,31€
 

Introducción A La Informática....

  • 192 páginas
  • 21,50€ 20,42€
21,50€ 20,42€
 

Aplicaciones Ofimáticas. 2ª Edición....

  • 29,90€ 28,41€
29,90€ 28,41€
 

Word 2013. Funciones Basicas

  • VV.AA
  • 238 páginas
  • 8,00€ 7,60€
8,00€ 7,60€
 

Inteligencia Artificial Avanzada.

  • 298 páginas
  • 30,00€ 28,50€
30,00€ 28,50€
 

Zazpi Antxumeak Eta Otsoa

  • 32 páginas
  • 3,95€ 3,75€
3,95€ 3,75€
 

Microsoft Windows 8. Guía De Usuario...

  • 29,90€ 28,41€
29,90€ 28,41€
 

Guía De Campo De Microsoft Windows...

  • Antonio Menchén Peñuela
  • 190 páginas
  • 14,90€ 14,16€
14,90€ 14,16€

Otra información de interés

  • Portada: First-Order Logic and Automated Theorem Proving de Springer
  • Editorial: Springer | 26/06/2013
  • Sinopsis:

    El autor de First-Order Logic and Automated Theorem Proving, con isbn 978-1-4612-7515-2, es Melvin Fitting, esta publicación tiene trescientas cuarenta y ocho páginas.

First-Order Logic and Automated Theorem Proving