Recomienda este artículo a tus amigos:
Logic for Computer Scientists - Modern Birkhauser Classics Uwe Schoning 1st ed. 1989. 2nd printing 2008. Softcover reprint edition
Logic for Computer Scientists - Modern Birkhauser Classics
Uwe Schoning
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.
177 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 11 de enero de 2008 |
| ISBN13 | 9780817647629 |
| Editores | Birkhauser Boston Inc |
| Páginas | 168 |
| Dimensiones | 162 × 236 × 12 mm · 320 g |
| Lengua | Inglés |