Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-3 de um total de 3 resultados (tempo de pesquisa: 0.015 segundos).
DataTítuloAutor(es)TipoAcesso
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
1994Cut formulae and logic programmingPinto, Luís F.Artigo em ata de conferênciaAcesso aberto
1-3 de um total de 3 resultados (tempo de pesquisa: 0.015 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir