| Record ID | marc_loc_2016/BooksAll.2016.part35.utf8:80674141:799 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part35.utf8:80674141:799?format=raw |
LEADER: 00799cam a22002414a 4500
001 2007923182
003 DLC
005 20071027084306.0
008 070220s2007 gw a b 001 0 eng
010 $a 2007923182
020 $a9783540004288 (hardcover : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.7$b.F56 2007
082 00 $a511.3/4$222
245 00 $aFinite model theory and its applications /$cErich Grädel ... [et al.].
260 $aBerlin ;$aNew York :$bSpringer,$cc2007.
300 $axi, 437 p. :$bill. ; 24 cm.
490 0 $aTexts in theoretical computer science,$x1862-4499
504 $aIncludes bibliographical references and index.
650 0 $aFinite model theory.
650 0 $aComputational complexity.
650 0 $aConstraint databases.
700 1 $aGrädel, Erich,$d1958-