Clausal Form Logic An Introduction to the logic of Computer Reasoning
Material type:
TextPublication details: New York Addison-Wesley 1989 Subject(s): COMPUTER SYSTEM-PROGRAMMING ,APPLICATION OF MATHEMATICAL LOGIC | COMPUTER SCIENCE | COMPUTER SCIENCEDDC classification: 005.131
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Malaviya National Institute of Technology | 005.131 RIC (Browse shelf(Opens below)) | Available | 64139 |
There are no comments on this title.