Logo

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

Your search returned 10 results.

Sort
Results
Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for reference: LRC, IIT Indore: Not For Loan (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

Logic in Computer Science: Modelling and Reasoning about Systems by
  • Huth, Michael
  • Ryan, Mark
Material type: Text Text
Publication details: Cambridge Cambridge University Press 2004
Availability: Items available for loan: LRC, IIT Indore (1)Call number: 005.1015113 HUT.

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

Powered by Koha