Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Main Author Gallier, Jean H. Country Estados Unidos. Publication New York : John Wiley, cop. 1987 Description XV, 511 p. : il. ; 23 cm ISBN 0-471-61546-3 CDU 519.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - G | Checked out | 2024-05-06 | 76788 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.