Suche

Wo soll gesucht werden?
Erweiterte Literatursuche

Ariadne Pfad:

Startseite

Literaturnachweis - Detailanzeige

AutorBibel, Wolfgang
TitelDeduktion. Automatisierung der Logik.
QuelleMuenchen u.a.: Oldenbourg (1992), 269 S.    Verfügbarkeit 
ReiheHandbuch der Informatik. 6, 2
BeigabenLiteraturangaben; Register; Abbildungen
ZusatzinformationInhaltsverzeichnis (1)
Inhaltsverzeichnis (2)
Inhaltsverzeichnis (3)
Inhaltsangabe
Sprachedeutsch
Dokumenttypgedruckt; Monographie
ISBN3-486-20785-7
SchlagwörterComputer; Programmierungstechnik; Informatik; Automatisierung; Aussagelogik; Deduktion; Logik; Datenverarbeitung
Erfasst vonLandesinstitut für Schule, Soest
Update1998_(CD); 2001/1
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen

Standortunabhängige Dienste
Die Wikipedia-ISBN-Suche verweist direkt auf eine Bezugsquelle Ihrer Wahl.
Tipps zum Auffinden elektronischer Volltexte im Video-Tutorial

Trefferlisten Einstellungen Ausführen

Permalink als QR-Code

Permalink als QR-Code