Finite Model Theory and its Applications by Erich Gradel
Material type:
TextPublication details: Berlin Springer Verlag, Netherlands 2007Description: xi, 437pISBN: 9788184895032Subject(s): Constraint databases | Computational complexity | Finite model theoryDDC classification: 511.3 GRA
Contents:
<p>Contents:</p>
<p>1. Unifying Themes
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
TEXT BOOK
|
LRC_JUIT Mathematics | TEXTBOOK SECTION | 511.3 GRA (Browse shelf (Opens below)) | Copy 1 | Available | 024962 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: TEXTBOOK SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 END Mathematical Introduction to Logic | 511.3 END Mathematical Introduction to Logic | 511.3 END Mathematical Introduction to Logic | 511.3 GRA Finite Model Theory and its Applications | 511.3 GRE Fundamentals of the Theory of Computation: principles and practice | 511.3 KAY Theory of Timed I/O Automata | 511.3 KHO Automata Theory and its Applications |
<p>Contents:</p>
<p>1. Unifying Themes
There are no comments on this title.