Finite model theory and its applications [[Textbook] /]Erich Gr�adel ... [et al.].
Von: Gr�adel,Erich.
Mitwirkende(r): Gr�adel, Erich.
Materialtyp:
BuchReihen: Texts in theoretical computer science.Verlag: Berlin ; New York : Springer, 2007Beschreibung: xi, 437 p. : ill. ; 24 cm. ; 24 cm.ISBN: 9783540004288; 18624499.Schlagwörter: Finite model theory | Computational complexity | Constraint databasesDDC-Klassifikation: 511.34
| Medientyp | Aktueller Standort | Signatur | Exemplarnr. | Status | Fälligkeitsdatum |
|---|---|---|---|---|---|
Books
|
6october 1104 | 511.34 GF (Regal durchstöbern) | 1 | Verfügbar | |
|
Books
|
6october 1104 | 511.34 G F (Regal durchstöbern) | 2 | Verfügbar |
Regale von 6october durchstöbern , Standort: 1104 Regal ausblenden
|
|
|
|
|
|
|
||
| 511.322 M.I Introduction to languages and the theory of computation | 511.3223 G I Introduction to Fuzzy sets and Fuzzy logic / | 511.33 GM Mathematical and physical data, equations, and rules of thumb | 511.34 G F Finite model theory and its applications | 511.34 GF Finite model theory and its applications | 511.35 C I Implementation and application of automata | 511.35 C I Implementation and application of automata |
Includes bibliographical references and index.
Es gibt keine Kommentare zu diesem Titel.