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 W Bibel 1st Ed. Softcover of Orig. Ed. 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
W Bibel
347 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 9 de diciembre de 2010 |
| ISBN13 | 9789048150526 |
| Editores | Springer |
| Páginas | 347 |
| Dimensiones | 156 × 234 × 18 mm · 485 g |
| Editor | Bibel, Wolfgang |
| Editor | Schmitt, P. H. |
Los regalos de Navidad se podrán canjear hasta el 31 de enero