Logo

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

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

Logic in Computer Science: Modelling and Resoning about Systems

By: Contributor(s): Material type: TextTextPublication details: New York Cambridge Univesity Press 2005Edition: 2nd edDescription: xiv, 427p.; 24 cmISBN:
  • 9780521670896
DDC classification:
  • 005.1015113 HUT
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Book Book LRC, IIT Indore 3rd Floor - General Stack 005.1015113 HUT (Browse shelf(Opens below)) Available 2768
Total holds: 0

Copyright © 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha