Automated theorem proving : theory and practice
By: Newborn, Monty.
Material type:
Visual materialPublisher: Springer-Verlag 2001Subject(s): 004.015113 N427aDDC classification: A137039 | A1.3
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
USB/CD/DVD
|
PK Kelkar Library, IIT Kanpur | CARS | A137039 A1.3 (Browse shelf) | Reference | ER1137 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: CARS Close shelf browser
| A136975 A1.3 Thomas calculus [10th ed.] | A136995 A1.3 Organizational behavior [9th ed.] | A137014 A1.3 Retailing management [4th ed.] | A137039 A1.3 Automated theorem proving | A137105 A1.3 Integrated solid waste management | A137140 A1.3 Quality and process improvement | A137142 GA1.3 Macroeconomics |
There are no comments for this item.