Showing 1 - 12 results of 12 for search 'Martins, Ana Teresa de Castro', query time: 0.24s Refine Results
  1. 1
    Um sistema de revisão de crenças para resolução de problemas
    by Martins, Ana Teresa de Castro
    Published 2010
    Get full text
    Others
  2. 2
    Um sistema de revisão de crenças para resolução de problemas
    by Martins, Ana Teresa de Castro
    Published 2010
    Get full text
    Others
  3. 3
    Um sistema de revisão de crenças para resolução de problemas
    by Martins, Ana Teresa de Castro
    Published 2010
    Get full text
    Others
  4. 4
    Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem
    by Rocha, Thiago Alves
    Published 2015
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  5. 5
    Sistemas esquemáticos de dedução natural: um estudo prova-teórico
    by Cavalcante, Alexandre Silva
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  6. 6
    Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado
    by Ferreira, Francicleber Martins
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  7. 7
    Refinamento de consultas em lógicas de descrição utilizando teoria dos Rough sets
    by Oliveira, Henrique Viana
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  8. 8
    Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem
    by Rocha, Thiago Alves
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  9. 9
    Refinamento de Consultas em Lógicas de Descrição Utilizando Teoria dos Rough Sets
    by Oliveira, Henrique Viana
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  10. 10
    Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
    by Freire, Cibele Matos
    Published 2016
    Other Authors: “...Martins , Ana Teresa de Castro...”
    Get full text
  11. 11
    Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
    by Freire, Cibele Matos
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
  12. 12
    Uma lógica de descrição Default
    by Frota, Débora Farias
    Published 2016
    Other Authors: “...Martins, Ana Teresa de Castro...”
    Get full text
Search Tools: Get RSS Feed — Email this Search