LIBRARY AND INFORMATION CENTRE

↓ Click here to search N-LIST Database
↓ Click here to search Print Books and E-Books
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Towards Mechanized Mathematical Assistants

By: Material type: TextTextPublication details: Germany Springer 2007ISBN:
  • 978-3-540-73086-6
Subject(s): Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection URL Status Barcode
E_BOOK E_BOOK Basaveshwar Engineering College,Bagalkote Computer Science & Engineering Link to resource Available EB2162
Total holds: 0

Management

There are no comments on this title.

to post a comment.

Total No of Books as on Date

Titles Volumes National Journals(Print) International Journals(Print) e-Books e-Journals
43955 139001 162 3 34446 10300

Library working hours

Monday to Saturday Sunday and General Holidays
10.00am to 5.30pm Closed
Contact Information: Librarian, Basaveshwar Engineering College(Autonomus) Bagalkot -587102 Mobile:9448514872