Automated reasoning : 33 basic research problems / Larry Wos.
By: Wos, Larry.
Material type: TextPublisher: Englewood Cliffs, N.J. : Prentice-Hall, c1988Description: xiii, 319 p.ISBN: 013054552X.Subject(s): Automatic theorem provingDDC classification: 006.333Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 006.333 W91 Au (Browse shelf(Opens below)) | Available | 154401 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
006.333 Sl128 Ar Artificial intelligence : | 006.333 Sy879 Th Theoretical approaches to non-numerical problem solving; | 006.333 W647 Pl Planning and understanding : | 006.333 W91 Au Automated reasoning : 33 basic research problems / | 006.338 B28 Kn Knowledge-based program construction / | 006.338 C529 Kn Knowledge-based tutoring : the GUIDON program / | 006.338 W733 Pr Program design for knowledge based systems / |
There are no comments on this title.