000 01167cam a22003374a 4500
005 20150712005528.0
008 070220s2007 gw a b 001 0 eng
020 _a9783540004288
020 _a18624499
040 _aDLC
_cDLC
_dDLC
060 _bG F
082 0 0 _a511.34
_222
084 _a511.34
_bG F
100 1 _aGr�adel,Erich
245 1 0 _aFinite model theory and its applications
_h[[Textbook] /]
_cErich Gr�adel ... [et al.].
260 _aBerlin ;
_aNew York :
_bSpringer,
_c2007.
300 _axi, 437 p. :
_bill. ; 24 cm. ;
_c24 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�adel, Erich,
_d1958-
906 _a7
_bcbc
_corignew
_d2
_eepcn
_f20
_gy-gencatlg
925 0 _aacquire
_b2 shelf copies
_xpolicy default
955 _apc17 2007-02-20
_ajp00 2007-07-19
_cjp43 2007-07-24 to subj
_djp18 2007-09-05 to CPSO/SHed
_ejp18 2007-09-20 to Dewey
_aaa23 2007-10-26
001 0000060208
003 0000
942 _cBK
942 _cBK
999 _c54666
_d54666