Proof theory and automated deduction Jean Goubault Larrecq and, Ian Mackie.
Material type:
TextLanguage: English Series: (Applied logic series, no.6)Publication details: Dordrecht Kluwer Academic Publishers 1997Description: xv, 424p., 25cmISBN: - 0-7923-4593-2.
- 004.0151 G59P
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| General Books | HMS Central Library | General Collection | 004.0151, G59P (Browse shelf(Opens below)) | Available | 70584 |
Browsing HMS Central Library shelves, Collection: General Collection Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 003.83 O24D Discrete - Time control systems | 003.83 O24D Discrete - Time control systems | 003, N37P Presentation of ideas in technical writing A. Neelameghan. | 004.0151, G59P Proof theory and automated deduction | 004.0151, L65S Schaum's outline of theory and problems of essential computer mathematics | 004.0151, L65S Schaum's outline of theory and problems of essential computer mathematics | 004.0151, N25G Graph theory with an applications to engineering and computer science |
There are no comments on this title.
Log in to your account to post a comment.
