Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 15 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-1998Initial-boundary value problem for the Broadwell model of a gas mixture with bimolecular reactionSoares, A. J.ArtigoAcesso aberto
1996Congruences on orthodox semigroups with associate subgroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesArtigoAcesso aberto
1999The ideal structure of nilpotent-generated transformation semigroupsSmith, M. Paula Marques; Sullivan, R. P.ArtigoAcesso aberto
1999Curvilinear crosscuts of subdivision for a domain decomposition method in numerical conformal mappingFalcão, M. I.; Papamichael, N.; Stylianopoulos, N.S.ArtigoAcesso aberto
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
1999Free profinite R-trivial, locally idempotent and locally commutative semigroupsCosta, José CarlosArtigoAcesso aberto
1996O 5º ano das licenciaturas em ensino: algumas reflexões e uma proposta de reorganizaçãoRalha, Elfrida; Dias, G.; Pacheco, José Augusto; Lima, Licínio C.; Santos, Manuel Pereira dos; Silva, Manuel Carlos; Valença, Raquel; Castro, Rui Vieira deArtigoAcesso aberto
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
1-10 de um total de 15 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir