ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
Detalles del libro
| Editorial | Springer |
|---|---|
| Edición | 2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013) | Páginas | 348 |
| Idioma | Inglés |
| ISBN | 9781461275152 |
| ISBN-10 | 1461275156 |
Detalles del libro
| Autor/es | Melvin Fitting |
|---|---|
| Editorial | Springer |
| Edición | 2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013) | Páginas | 348 |
| Idioma | Inglés |
| ISBN | 9781461275152 |
| ISBN-10 | 1461275156 |
Otros libros de Informática:
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.
Resumen
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.