Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
Abr-1998Initial-boundary value problem for the Broadwell model of a gas mixture with bimolecular reactionSoares, A. J.ArtigoAcesso aberto
  • Anterior
  • 1
  • Próxima