Formalisieren und Beweisen
Logik für Informatiker
Edición de la obra Formalisieren und Beweisen
| Autor | Dirk Siefkes |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | Jan 01, 1992 |
| Páginas | 259 |
| Formato | paperback |
| ISBN-13 | 9783528147570 |
| ISBN-10 | 3528147571 |
| Número de Cutter | S571f |