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.131Item 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 |
Browsing Malaviya National Institute of Technology shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
005.131 KRI Numerical Algorithms | 005.131 KRI Numerical Algorithms | 005.131 NIZ Mathematical Methods and Programming | 005.131 RIC Clausal Form Logic | 005.131 SAL Computer Oriented Numerical Methods | 005.131 SAL Computer Oriented Numerical Methods | 005.131 SAL Computer Oriented Numerical Methods |
There are no comments on this title.