How to prove it : a structured approach / Daniel J. Velleman
Publication: Cambridge : Cambridge University Press, 1998Description: IX, 309 p. : il. ; 23 cm.ISBN: 0-521-44663-5.Subject - Topical Name: Inteligência artificial | Lógica | Teoria dos jogos | Ciência dos computadores| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | VEL. 681.5(007) (Browse shelf) | Available | 1013769 |
Total holds: 0
There are no comments for this item.