Formalisieren und Beweisen
Logik für Informatiker
| Autor: | Siefkes, Dirk |
|---|---|
| ISBN: | 9783528047573 |
| Sprache: | Deutsch |
| Seitenzahl: | 262 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner |
| Veröffentlicht: | 01.01.1990 |
| Untertitel: | Logik für Informatiker |
| Schlagworte: | Ableitung Aussagenlogik Disjunktive Normalform Informatik Kompaktheit Logik Mathematik Peano-Axiome Programmieren Resolution |
Anmelden