Detalls del llibre
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.
Llegir més - Autor/a Mordechai Ben-Ari
- ISBN13 9781447141280
- ISBN10 1447141288
- Pàgines 346
- Any Edició 2012
- Fecha de publicación 17/06/2012
- Idioma Alemany, Francès
Ressenyes i valoracions
Mathematical Logic for Computer Science (Alemany, Francès)
- De
- Mordechai Ben-Ari
- |
- SPRINGER LONDON (2012)
- 9781447141280



