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
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).

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.

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: 004.015181 KRO(DEC).

Place hold
No cover image available
The history and bibliography of Nyāya-Vaiśeṣika literature

by Gopināth Kavirāj.

Series: Sarasvatī Bhavana Studies Reprint Series, 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: Sanskrit-English Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1982Availability: Items available for loan: Central Library (1)Call number: 181.43016 KAV(HIS).

Place hold
No cover image available
The history and bibliography of Nyāya-Vaiśeṣika literature

by Gopināth Kavirāj | Gaurināth Śāstrī (ed.).

Series: Sarasvatī Bhavana Studies Reprint Series, 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: Sanskrit-English Publication details: Sampūrṇānanda Saṃskṛta Viśvavidyālaya 1982Availability: Items available for loan: Central Library (1)Call number: 181.43016 KAV(HIS).

Place hold
No cover image available
Logic for computer scientists

by Uwe Schoning.

Material type: Text 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
Computational structures

by Stephen A. Ward | Robert H. Halstead, Jr.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: Publication details: The M.I.T. Press, McGraw-Hill 1997Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.22 WAR(COM).

Tattvacintāmaṇiḥ : Upādhyādibādhāntaḥ

by Gaṅgeśa Upādhyāya | Vācaka Guṇaratna (com.) | Nagin J. Shah (ed.).

Series: B. L. Series No. 17Material type: Text Text; Format: print ; Literary form: Not fiction Language: Sanskrit Publication details: Motilal Banarsidass, Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 181.43 GAN(TAT).

Place hold
No cover image available
Language, logic, and science in India : some conceptual and historical perspectives

by D. P. Caṭṭopādhyāya (ed.) | Ravinder Kumār ( ed.).

Series: PHISPC monograph series on history of philosophy, science, and culture in India, 4Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Project of History of Indian Science, Philosophy, and Culture, 2010Availability: Items available for loan: Central Library (1)Call number: 954 LAN. Items available for reference: Central Library: Not for loan (1)Call number: 954 LAN.

Place hold
No cover image available
The Nyāya theory of knowledge : a critical study of some problems of logic and metaphysics,

by Satis candra Caṭṭopādhyāya.

Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: University of Calcutta, 1950Availability: Items available for loan: Central Library (1)Call number: 181.43 CAT(NYA).

Place hold
Knowledge-based neurocomputing : a fuzzy logic approach

by Eyal Kolman | Michael Margaliot.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2009Availability: Items available for loan: Central Library (1)Call number: 006.32 KOL(KNO).

Place hold
Logic and integer programming

by H. P. Williams.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2009Availability: Items available for loan: Central Library (1)Call number: 005.115 WIL(LOG).

Place hold
Lambda-Calculus and combinators: an introduction

by J. Roger Hindley | Jonathan P. Seldin.

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

Place hold
Logic, sets, and recursion

by Robert L. Causey.

Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India, New Delhi. 2010Availability: Items available for loan: Central Library (1)Call number: 511.3 CAU(LOG).

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

by Michael Huth | Mark Ryan.

Series: Edition: Material 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).

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

by Michael Huth | Mark Ryan.

Series: Edition: Material 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).

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

by Michael Huth | Mark Ryan.

Series: Edition: Material 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).

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

by Michael Huth | Mark Ryan.

Series: Edition: Material 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).

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

by Michael Huth | Mark Ryan.

Series: Edition: Material 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).

Place hold
From logic to logic programming

by Kees Doets.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.115 DOE(LOG).

Place hold
Pages
Visitor count :