Sitzungsende bei Inaktivität:

Vollanzeige

Logik für Informatiker / Uwe Schöning

PPN=1609684257; in Bibliotheksbestand, Treffer: 1


 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 (Sprache des Textes)
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

Anleitungen

Je nachdem ob ein Exemplar verfügbar ist können Sie es bestellen bzw. vormerken.

Durch Anklicken der in der Trefferliste zuvor "aktivierten Merkliste" mit einem leeren Stern wird das Medium in die Merkliste aufgenommen, durch Anklicken der Merkliste mit einem gefüllten Stern wird das Medium aus der Merkliste entfernt.

Hier wird nur der eine gezeigte Titel exportiert. Wählen Sie bitte dafür das ensprechende Exportformat aus, indem Sie den Link "Exportieren" anklicken.

Weg zum Medium

Merkliste befüllen/leeren

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