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 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Amazon cover image
Image from Amazon.com
First-order logic and automated theorem proving : second edition by Series: Graduate texts in computer science
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Springer, New York 1996
Availability: Items available for loan: Central Library (1)Call number: 004.015113 FIT(FIR).

Place hold Save to lists
2.
Rippling : meta-level guidance for mathematical reasoning by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge University Press 2005
Availability: Items available for loan: Central Library (1)Call number: 006.333 RIP.

Place hold Save to lists
3.
Amazon cover image
Image from Amazon.com
Logic for computer science : foundations of automatic theorem proving by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dover Publications 2015
Availability: Items available for loan: Central Library (1)Call number: 511.3 GAL(LOG).

Place hold Save to lists
Visitor count :