Finite model theory and its applications / Erich Grädel ... [et al.].

Contributor(s): Grädel, Erich, [et.al], 1958-Material type: TextTextSeries: Texts in theoretical computer sciencePublication details: Delhi : Springer, 2010cDescription: xi, 437 p. ; ill. ; 24 cmISBN: 9788184895032 (pbk)Subject(s): Finite model theory | Computational complexity | Constraint databasesDDC classification: 511.34
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
Books Books Namal Library
Mathematics 		511.34 KOL-F 2010 10891 (Browse shelf (Opens below)) 1 Available 0010891
Total holds: 0

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.