Navegação TCC Ciência da Computação - Bacharelado por assunto "Lógica linear"
Itens para a visualização no momento 1-1 of 1
-
Um estudo da lógica linear com aplicação em ciência da computação
(2010-12-15)A ciência da computação se ocupa da automatização do raciocínio para solucionar problemas e auxiliar no exercício de determinadas atividades. Nesta área, as lógicas clássica e intuicionista são muito utilizada no ...