- Home ›
- Results of search for 'kw,wrdl: matemática' with limit(s): 'mc-itype,phr:MO location:BC su-to:Inteligência artificial'
Refine your search
- Availability
-
Authors
- CHARNIAK, Eugene (1)
- FLACH, Peter (1)
- GABBAY, Dov M. (1)
- GLOVER, Fred (1)
- HOGGER, C. J. (1)
- RAMSAY, Allan (1)
- ROBINSON, J. A. (1)
- SIEKMANN, J. (1)
- SONG, Yong Hua (1)
- TROELSTRA, A. S. (1)
-
Locations
- Biblioteca do ISEL [x]
-
Series
-
Topics
- Inteligência artificial [x]
- Linguística matemática (1)
- Lógica matemática (4)
- Lógica simbólica (3)
- Programação lógica (2)
- Show more