Non più in commercio
Formalisieren und beweisen
Logik für Informatiker
|
di Dirk Siefkes (Autore)
|
Dettagli
| Edizione: | 1 |
|---|---|
| Categoria: | Computer Science |
| Volumi: | 0 |
| Pagine: | 0 |
| Collana: | - |
| Data Pubblicazione: | -1990 |
| Lingua: | Ger |
| ISBN: | 9783528047573 |
