Formal methods in artificial intelligence / Allan Ramsay
Main Author Ramsay, Allan, 1953- Language Inglês. Edition 1st paperback ed. Publication Cambridge : Cambridge University Press, 1991Description ix, 279 p. ; 25 cm Series Cambridge tracts in theoretical computer science ; 6 ISBN 0521424216 Subjects Inteligência artificial
Metodologia
Lógica simbólica
Lógica matemática
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | IFILNOVA TEC 4 | Available | Fundo Geral | 2672IFILNOVA |
There are no comments for this item.