Buscar
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)
Computing science deals with automation of reasoning for solving problems and assisting
in certain activities. In this area, both logic and intuitionistic logic plays a fundamental
role. They are widely used for developing ...