First-order logic and automated theorem proving / Melvin Fitting.
By: Fitting, Melvin.
Material type:
TextSeries: Tezts and monographs in computer science. Tezts and monographs in computer science.Publisher: New York : Springer-Verlag , 1990Description: xv,244p. : figures ; 23cm.Subject(s): MATHEMATICAL LOGICDDC classification: B66
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Philosophy Dept. Library Old Stack Room | B66 BAN/F (Browse shelf) | 1 | Not For Loan (Restricted Access) | 27113 |
Browsing Central Library Shelves , Shelving location: Old Stack Room Close shelf browser
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| 9S HOL Basic programing / | 9S-PL-C KUM Programming in ANSI C / | B3,3 BRO/S Schaum`s outline of modern introductory differential equations / | B66 BAN/F First-order logic and automated theorem proving / | BANGLA SAHITYA 891.441PP Purnendupatrir shrestha kabita / | BANGLA SAHITYA 891.441PP Purnendupatrir shrestha kabita / | BT AIM/B Basic statistics: a textbook for the first course / |
NULL
27113 Rs. 68.00
There are no comments for this item.