Detalles del libro
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.
Leer más - Autor/a Mordechai Ben-Ari
- ISBN13 9781447141280
- ISBN10 1447141288
- Páginas 346
- Año de Edición 2012
- Fecha de publicación 17/06/2012
- Idioma Alemán, Francés
Reseñas y valoraciones
Mathematical Logic for Computer Science (Alemán, Francés)
- De
- Mordechai Ben-Ari
- |
- SPRINGER LONDON (2012)
- 9781447141280



