Finite model theory and its applications
Erich Gradel
Finite model theory and its applications - - Springer 2010 - xi, 437p. - Texts in theoretical computer science .
bill No. SAR/60/2011 dt.25.07.2011
9788184895032 (PB)
Finite model theory
Computational complexity
Constraint databases
004.0151134 FIN
Finite model theory and its applications - - Springer 2010 - xi, 437p. - Texts in theoretical computer science .
bill No. SAR/60/2011 dt.25.07.2011
9788184895032 (PB)
Finite model theory
Computational complexity
Constraint databases
004.0151134 FIN