ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* 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
94,58 €
89,85
5 a 30 días
Envío Gratis al comprar este libro

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

Otros libros de Melvin Fitting son Numbers, Justification Logic, Incompletetude Na Terra Dos Conjuntos, Beyond Two: Theory And Applications Of Multiple-valued Logic y Incompleteness In The Land Of Sets.

Sé el primero en valorar este libro

Otros libros de Informática:

Manual. Competencias básicas en relación a la ofimática (CTRD0007). Especialidades formativas

Manual. Competencias Básicas En Relación...

  • 39,50€ 37,52€
39,50€ 37,52€
Python desde el laboratorio. Estructuras de datos

Python Desde El Laboratorio. Estructuras De...

  • 26,50€ 25,18€
26,50€ 25,18€
(IFCT0049) ChatGPT e Inteligencía Artificial

(ifct0049) Chatgpt E Inteligencía Artificial...

  • 29,90€ 28,41€
29,90€ 28,41€
Innovación social y digitalización al servicio de la ciudadanía

Innovación Social Y Digitalización...

  • 21,05€ 20,00€
21,05€ 20,00€
Programación y organización de los trabajos de jardinería y restauración del paisaje

Programación Y Organización...

  • 17,00€ 16,15€
17,00€ 16,15€
Inferencia causal y descubrimiento en Python

Inferencia Causal Y Descubrimiento En Python...

  • 432 páginas
  • EN PREVENTA
  • 37,95€ 36,05€
37,95€ 36,05€
La tirania de la tecnología

La Tirania De La Tecnología

  • Tomás Perales Benito
  • 208 páginas
  • 19,90€ 18,90€
19,90€ 18,90€
Programación lineal: análisis post-óptimo

Programación Lineal: Análisis...

  • 170 páginas
  • 18,00€ 17,10€
18,00€ 17,10€

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