Welcome to the Online Catalogue, 

Central Library

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

Your search returned 264 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Logical and relational learning

by Luc De Raedt.

Material type: Text 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).
Lists:

Place hold
Mathematical logic

by George Tourlakis.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: John Wiley & Sons; Hoboken, New Jersey 2008Availability: Items available for loan: Central Library (1)Call number: 005.131 TOU(MAT).
Lists:

Place hold
Informal logic : a pragmatic approach

by Douglas Walton.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 2008Availability: Items available for loan: Central Library (1)Call number: 168 WAL(INF).
Lists:

Place hold
No cover image available
Fuzzy modeling and genetic algorithms for data mining and exploration

by Earl Cox.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Reed Elsevier India P.Ltd. 2005Availability: Items available for loan: Central Library (1)Call number: 006.312 COX(FUZ).
Lists:

Place hold
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).
Lists:

Place hold
No cover image available
Lambda-calculus and combinators, an introduction

by J. Roger Hindley | Jonathan P. Seldin.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2008Availability: Items available for loan: Central Library (1)Call number: 004.0151135 HIN(LAM).
Lists:

Place hold
No cover image available
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC).
Lists:

Place hold
No cover image available
Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text 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).
Lists:

Place hold
No cover image available
Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text 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).
Lists:

Place hold
No cover image available
Communication complexity

by Eyal Kushilevitz | Noam Nisan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2006Availability: Items available for loan: Central Library (2)Call number: 004.01511352 KUS(COM), ...
Lists:

Place hold
No cover image available
Rippling : meta-level guidance for mathematical reasoning

by Alan Bundy | David Basin | Dieter Hutter | Andrew Ireland.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 006.333 RIP.
Lists:

Place hold
No cover image available
Linear logic in computer science

by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2004Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN.
Lists:

Place hold
No cover image available
Linear logic in computer science

by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2004Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN.
Lists:

Place hold
Lectures in logic and set theory, vol.1 : mathematical logic

by George Tourlakis.

Series: Cambridge studies in advanced mathematics, 82Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 2003Availability: Items available for loan: Central Library (1)Call number: 511.3 TOU(LEC).
Lists:

Place hold
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

by S. Barry Cooper (ed.) | John K. Truss (ed.).

Series: London Mathematical Society lecture note series, 259Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 1999Availability: Items available for loan: Central Library (1)Call number: 511.34 MOD.
Lists:

Place hold
Set theory, logic and their limitations

by Moshe Machover.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press; Cambridge, New York 1996Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET).
Lists:

Place hold
Set theory, logic and their limitations

by Moshe Machover.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press; Cambridge, New York 1996Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET).
Lists:

Place hold
No cover image available
Handbook of practical logic and automated reasoning

by John Harrison.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2009Availability: Items available for loan: Central Library (1)Call number: 006.333 HAR(HAN).
Lists:

Place hold
No cover image available
Lectures On The Logic Of Computer Programming

by Zohar Manna.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Socy.For Indl.& Appld.Maths.SIAM 1980Availability: Items available for loan: Central Library (1)Call number: 005.1 MAN(LEC).
Lists:

Place hold
An introduction to formal logic

by Peter Smith.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 2003Availability: Items available for loan: Central Library (1)Call number: 160 SMI(INT).
Lists:

Place hold
Pages
Visitor count :