Skip to main content
IMSc Library
Lists
Public lists
New Arrivals (22 October 2024)
New Arrivals (03 July, 2024)
New Arrivals (01 October 2024)
New Arrivals (16 September 2024)
New Arrivals (01 September 2024)
New Arrivals (16 August 2024)
Independence Day Book Exhibition
Indian leaders
Post Independence
New Arrivals (01 August 2024)
View All
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
+91-44-22543226
library@imsc.res.in
Navigation
▾
Home
About Library
▾
▾
Objectives
Collections
Facilities
Library Services
Library Staff
Library Use Policies
Floor Plans
Library User Guides
Dspace@IMSc
Purchase Suggestions
Library Events
Contact us
IMSc Website
Search :
Library catalog
Title
Author
Subject
ISBN
Series
Call number
Publication year
Publisher
Barcode/ACCN NO
-- All Item type --
BOOKS
JOURNALS(PRINT)
E-BOOKS
E-JOURNALS
THESIS
CDROM
Advanced Search
Advanced search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Please use your IMSc email user id and password to Login
Home
ISBD view
Normal view
MARC view
ISBD view
Journal of Automated Reasoning [electronic resource]. - Springer Netherlands - 1(1);1985 - 41(3);2008
ISSN:
1573-0670
Print
Suggest for purchase
Save record
BIBTEX
Dublin Core
RIS
MARC (Unicode/UTF-8, Standard)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
The Institute of Mathematical Sciences, Chennai, India
Powered by
Koha
