Welcome to the Online Catalogue, 

Central Library

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

Search

Your search returned 8 results.

Not what you expected? Check for suggestions

Results
		No cover image available Logical and relational learning by Luc De Raedt. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 006.31 RAE(LOG). Place hold
		No cover image available Logic in computer science : modelling and reasoning about systems by Michael Huth \| Mark Ryan. Edition: 2Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG). Place hold
		No cover image available Logic in computer science : modelling and reasoning about systems by Michael Huth \| Mark Ryan. Edition: 2Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG). Place hold
		An introduction to complex analysis in several variables by Lars Hormander. Series: North-Holland mathematical library, volume 7Edition: Third Edition (Revised)Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Elsevier, Amsterdam. 1990Availability: Items available for loan: Central Library (1)Call number: 515.94 HOR(INT). Place hold
		No cover image available Logic for computer scientists by Uwe Schoning. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Birkhauser-Boston 2008Availability: Items available for loan: Central Library (1)Call number: 004.015113 SCH(LOG). Place hold
		Types in logic programming by Frank Pfenning (ed.). Series: Logic programming seriesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP. Place hold
		Types in logic programming by Frank Pfenning (ed.). Series: Logic programming seriesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP. Place hold
		Numerical approximation of partial differential equations by Soren Bartels. Series: Texts in applied mathematics, 64Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2016Availability: Items available for loan: Central Library (1)Call number: 515.353 BAR(NUM). Place hold

Visitor count :