Course reserves for Decision Procedures
- Term: MNS
- Department: CSE
- Course number: CSE504
- Instructors:
- Dr. Piyus Kedia
| Title | Author | Item type | Location | Collection | Call number | Copy number | Status | Date due | Notes | Link |
|---|---|---|---|---|---|---|---|---|---|---|
| The calculus of computation : | Bradley, Aaron R. | Books | IIITD General Stacks |
Computer Science and Engineering | 004.015 BRA-C | Not for loan | Textbook | |||
| Decision procedures : | Kroening, Daniel | Reference | IIITD Reference |
Mathematics | REF 519.542 KRO-D | Not for loan | Textbook | |||
| Handbook of satisfiability | Reference | IIITD Reference |
Mathematics | REF 511.3 BIE-H | Not for loan | Reference Book |