Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nobre, Emerson"'
Autor:
Nobre, Emerson Faria
Publikováno v:
Repositório Institucional da UFPRUniversidade Federal do ParanáUFPR.
0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o métod
Externí odkaz:
http://hdl.handle.net/1884/25075
Autor:
Nobre, Emerson Faria
Publikováno v:
Repositório Institucional da UFPR
Universidade Federal do Paraná (UFPR)
instacron:UFPR
Universidade Federal do Paraná (UFPR)
instacron:UFPR
Orientador: Décio Krause Co-orientador: Martin A. Musicante Dissertação (mestrado) - Universidade Federal do Paraná Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lóg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::c9816c517d9a6b34c8877bfe5ca9e10a
