Recomienda este artículo a tus amigos:
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Peter H. Schmitt 1998 edition
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series
Peter H. Schmitt
rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
1294 pages, Illustrations
| Medios de comunicación | Libros Book |
| Publicado | 30 de junio de 1998 |
| ISBN13 | 9780792351320 |
| Editores | Springer |
| Páginas | 1294 |
| Dimensiones | 150 × 220 × 20 mm · 2,13 kg (Peso (estimado)) |
| Lengua | Inglés |
| Editor | Bibel, Wolfgang |
| Editor | Schmitt, P.H. |
