Logik für Informatiker
Eine Einführung
| Autor: | Heinemann, Bernhard WEHIRAUCH, KLAUS |
|---|---|
| ISBN: | 9783519122487 |
| Auflage: | 2 |
| Sprache: | Deutsch |
| Seitenzahl: | 240 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner |
| Veröffentlicht: | 01.09.1992 |
| Untertitel: | Eine Einführung |
| Schlagworte: | Alphabet Aussagen Erzeugungssystem Herbrand-Struktur Informatiker Kompaktheit Konjunktion Logik Prädikate Resolution |
Anmelden