Vollanzeige

Logik für Informatiker / Uwe Schöning

Gesucht wurde mit: PPN=1609684257;. Treffer: 1


Katalogangaben
 Zitierlink
MedienartBand [Band]
SignaturQAA 206/2005 S (BZ)
VerfasserSchöning, Uwe
Titel Logik für Informatiker / Uwe Schöning
VeröffentlichungHeidelberg; Berlin : Spektrum, Akad. Verl., 2005
Umfang / Format 200 Seiten : graph. Darst.
Ausgabe5. Aufl., korr. Nachdr.
SpracheDeutsch
ISBN3-8274-1005-3
Nummer9783827410054 (Europäische Artikelnummerierung (EAN))
255602245 (OCLC)
1609684257 (SWB-Katalog Nr.)
Schriftenreihe (Spektrum-Hochschultaschenbuch)
Literaturtyp Lehrbuch
Schlagwörter Mathematische Logik
Logische Programmierung
Systematik SK 130 Logik und Grundlagen, Metamathematik,
ST 120 Grundlagen der Informatik
ST 125 Schaltungstheorie, Rechnerarithmetik, Logik
Lokale Systematik QAA 206 Logik
Inhaltsverzeichnis http://www.gbv.de/dms/ilmenau/toc/519695046.PDF

Merkliste

Weitere Infos

BibliothekStandortSignaturBestellmöglichkeitVerfügbarkeit
Bibliotheks-Zentrale Semesterapparate / T99
Glimm
QAA 206/2005 S Präsenzbestände Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.3 T - Lehrbücher Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.4 T - Lehrbücher Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.5 T - Lehrbücher Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.6 T - Lehrbücher Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.7 T - Lehrbücher Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.2 T - Lehrbücher Ausgeliehen - Fällig am: 9.1.2020