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.
Decision procedures : an algorithmic point of view by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer-Verlag 2008
Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC).

Place hold Save to lists
2.
Decision procedures : an algorithmic point of view by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer-Verlag 2008
Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC).

Place hold Save to lists
3.
Amazon cover image
Image from Amazon.com
Decision procedures: an algorithmic point of view by Series:
Edition:
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Springer c2008
Availability: Items available for loan: Central Library (1)Call number: 003.56 KRO(DEC).

Place hold Save to lists
Visitor count :