Literaturnachweis - Detailanzeige
Autor/in | Bibel, Wolfgang |
---|---|
Titel | Deduktion. Automatisierung der Logik. |
Quelle | Muenchen u.a.: Oldenbourg (1992), 269 S. |
Reihe | Handbuch der Informatik. 6, 2 |
Beigaben | Literaturangaben |
Zusatzinformation | Inhaltsverzeichnis Inhaltsangabe |
Sprache | deutsch |
Dokumenttyp | gedruckt; Monographie |
ISBN | 3-486-20785-7 |
Schlagwörter | Computer; Programmierungstechnik; Informatik; Automatisierung; Aussagelogik; Deduktion; Logik; Datenverarbeitung |
Erfasst von | Landesinstitut für Schule, Soest |
Update | 1994_(CD) |