Formal methods in artificial intelligence / Allan Ramsay
Publication: Cambridge : Cambridge University Press, 1991Description: IX, 279 p. : il.ISBN: 0-521-35236-3.Series: Cambridge Tracts in Theoretical Computer Science / C. J. Van Rijsbergen, 6Subject - Topical Name: Inteligência artificial | Metodologias | Lógica simbólica | Lógica matemática| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | RAM. 004.8 (Browse shelf) | Available | 1011024 |
Total holds: 0
There are no comments for this item.