Finite model theory and its applications : with 35 figures and 2 tables / Erich Grädel ...

Mitwirkende(r):

Grädel, Erich, 1958- [oth]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts in theoretical computer scienceVerlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: XI, 437 S. : graph. Darst. ; 24 cmISBN:

3540004289
9783540004288
9783642438608

Schlagwörter:

Andere physische Formen: Online-Ausg.: Finite Model Theory and Its Applications. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. Online-Ressource (XIII, 437 p. 35 illus, digital)MSC: MSC: *03-02 | 03C13 | 68-02 | 68Q15 | 68Q19RVK: RVK: ST 125 | SK 130LOC-Klassifikation:

QA9.7

Call number: Grundsignatur: 2007 A 3616PPN: PPN: 365223905

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 1.4	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2007 A 3616	Verfügbar		48434248090

Anzahl Vormerkungen: 0