Automated reasonning: basic research problems/ by Larry Wos.
Material type:
TextPublisher: New Jersey: Prentice-Hall, 1988Description: 319pSubject(s): DDC classification: 006.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Book
|
RC Thuravoor | 006.3 LAR/ (Browse shelf) | Available | TH002775 |
Browsing RC Thuravoor shelves Close shelf browser
| No cover image available | No cover image available | No cover image available | ||||||
| 001.534 ROD/G Groups theory and experience/ | 004 RAT/E Emerging trends in teaching of computer science/ | 004 RAT/E Emerging trends in teaching of computer science/ | 006.3 LAR/ Automated reasonning: basic research problems/ | 025.493 JIT/C Colon Thesaurus of social science terms/ | 030.954 YEA/I Indian history : a panoramic view / | 032 WOR/W.1 The wordsworth encyclopedia (v.1)/ |
There are no comments on this title.