Logo Description automatically generated
विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1. E-Book
Amazon cover image
Image from Amazon.com
Image from Coce
Automated Reasoning and Mathematics by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Online resources:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2. E-Book
Amazon cover image
Image from Amazon.com
Image from Coce
Automated Deduction � CADE-24 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Springer 2013
Online resources:
Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore