Image from Amazon.com
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Material type:
TextPublication details: New York : Wiley, c1987.Description: xv, 511 p. : ill. ; 23 cmISBN: - 0471615463
- 511.3
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| General Lending | Carlow Campus Library General Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 23964 |
Contient des index.
Comporte des références bibliographiques.
18.44