Recomienda este artículo a tus amigos:
Mathematical Logic for Computer Science Mordechai Ben-Ari 3rd ed. 2012 edition
Mathematical Logic for Computer Science
Mordechai Ben-Ari
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
354 pages, 79 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 17 de junio de 2012 |
| ISBN13 | 9781447141280 |
| Editores | Springer London Ltd |
| Páginas | 346 |
| Dimensiones | 153 × 231 × 19 mm · 558 g |
| Lengua | Inglés |
Mas por Mordechai Ben-Ari
Mostrar todoVer todo de Mordechai Ben-Ari ( Ej. Paperback Book y Hardcover Book )