Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

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
Visitor count :