Formalisieren und Beweisen
Logik Für Informatiker
Edición de la obra Formalisieren und Beweisen
| Autor | Dirk Siefkes |
|---|---|
| Editorial | Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH |
| Fecha de publicación | 2013 |
| Idioma | alemán |
| ISBN-13 | 9783322856210 |
| Número de Cutter | S571f |