Refine your search
- Availability
-
Authors
- GABBAY, Dov M. (1)
- GINSBERG, Matthew L. (1)
- RAMSAY, Allan (1)
- ROBINSON, J. A. (1)
- SIEKMANN, J. (1)
- Show more
-
Locations
- Arquivo Biblioteca (1)
- Biblioteca do ISEL (3)
-
Series
-
Topics
- Inteligência artificial (4)
- Linguagens de programação (1)
- Lógica matemática (4)
- Lógica simbólica (4)
- Metodologias (1)
- Processamento de dados (1)
- Programação lógica (1)
- Prolog (1)
- Raciocínio (2)