lista alfabética de periódicoslista por assuntopesquisa de títulos índice de autoresíndice de assuntos
Coleção da biblioteca

Base de dados : article
Pesquisa : BARCENAS, EVERARDO [Autor]
Referências encontradas : 4 [refinar]
Mostrando: 1 .. 4   no formato [ISO 690]

página 1 de 1


   1 / 4
seleciona
para imprimir
 Limón, Yensen et al. Depth-First Reasoning on Trees. Comp. y Sist., Mar 2018, vol.22, no.1, p.189-201. ISSN 1405-5546
    · resumo em inglês    · texto em inglês


   2 / 4
seleciona
para imprimir
 Bárcenas, Everardo et al. Branching Path Planning with Modal Logics. Comp. y Sist., Sept 2017, vol.21, no.3, p.407-418. ISSN 1405-5546
    · resumo em inglês    · texto em inglês


   3 / 4
seleciona
para imprimir
 Muñoz, Juan Pablo et al. (Hyper)sequent Calculi for the ALC(S4) Description Logics. Comp. y Sist., Mar 2016, vol.20, no.1, p.67-79. ISSN 1405-5546
    · resumo em inglês    · texto em inglês


   4 / 4
seleciona
para imprimir
 Bárcenas, Everardo. A Counting Logic for Trees. Comp. y Sist., June 2015, vol.19, no.2, p.407-422. ISSN 1405-5546
    · resumo em inglês    · texto em inglês


página 1 de 1
   


Refinar a pesquisa
  Base de dados : article Formulário avançado   
Pesquisar por : Formulário livre    Formulário básico

    Pesquisar no campo  
1  
2
3
 
           



Search engine: iAH powered by WWWISIS

BIREME/OPAS/OMS - Centro Latino-Americano e do Caribe de Informação em Ciências da Saúde