- Home ›
- Results of search for 'kw,wrdl: programação' with limit(s): 'mc-itype,phr:MO su-to:Lógica matemática'
Refine your search
- Availability
-
Authors
- BIRO, C. (1)
- EBBINGHAUS, H. D. (1)
- HOGGER, C. J. (1)
- SCOWEN, R. S. (1)
- SIEKMANN, J. (1)
- Show more
-
Locations
- Biblioteca do ISEL (6)
- Depósito (1)
-
Series
-
Topics
- Cálculo (1)
- Cálculo automático (1)
- Inteligência artificial (3)
- Linguagens de programação (2)
- Lógica formal (1)
- Lógica matemática [x]
- Lógica simbólica (2)
- Processamento de dados (1)
- Programação (1)
- Programação lógica (4)
- Programação matemática (1)
- Prolog (2)
- Prova automática de teoremas (1)
- Raciocínio (1)
- Teoremas (1)
- Técnicas de programação (1)
- Álgebra de Boole (1)