Formalisieren und Beweisen
Logik für Informatiker
Edición de la obra Formalisieren und Beweisen
| Autor | Dirk Siefkes |
|---|---|
| Editorial | Vieweg |
| Fecha de publicación | 1990 |
| Lugar | Braunschweig |
| Idioma | alemán |
| Páginas | 259 |
| ISBN-10 | 3528047577 |
| LCCN | 91112633 |
| Número de Cutter | S571f |