Vollanzeige

Druckversion Drucken Abbrechen

Logik für Informatiker / Uwe Schöning

PPN=1609684257; in Bibliotheksbestand, Treffer: 1

Katalogangaben
 Zitierlink
MedienartStücktitel/Band [Stücktitel/Band]
SignaturQAA 206/2005 S (BZ)
Titel Logik für Informatiker / Uwe Schöning
PersonSchöning, Uwe [Verfasser/in]
VeröffentlichungHeidelberg ; Berlin : Spektrum Akademischer Verlag, [2000]
© 2000
Umfang / Format 200 Seiten : Diagramme
Ausgabe5. Auflage, korrigierter Nachdruck
Anmerkungen Literaturverzeichnis: Seite 191-195
Archivierung/Langzeitarchivierung gewährleistet DE-16
SpracheDeutsch
LandDeutschland
ISBN3827410053
Nummer519695046 (Umgelenkter Satz)
255602245 (ID-Nr. OCLC)
255602245 (ID-Nr. OCLC)
AC05191613 (Sonstige Nr.)
519695046 (Sonstige Nr.)
1609684257 (K10Plus-Nummer)
Schriftenreihe (Spektrum-Hochschultaschenbuch)
Literaturtyp Lehrbuch
Schlagwörter Mathematische Logik
Logische Programmierung
logic programming, resolution, Herbrand theorem
Schlagwortfolge Logische Programmierung ; Mathematische Logik
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

Exemplarangaben

BibliothekStandortSignaturBestellmöglichkeitVerfügbarkeit
Bibliotheks-Zentrale Sonderaufstellung / T99
Kazakov 		QAA 206/2005 S Präsenzbestände Verfügbar
Bibliotheks-Zentrale Freihand / T QAA 206/2005 S Ex.2 T - Lehrbücher 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