Filtros : "AMORIM, MARCELO DE MOURA" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Subjects: ENSINO POR COMPUTADOR, REPRESENTAÇÃO DE CONHECIMENTO, INFERÊNCIA BAYESIANA, CAUSALIDADE

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      AMORIM, Marcelo de Moura. Itens de teste colaborativo em 6 camadas: perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-12092025-113733/. Acesso em: 25 fev. 2026.
    • APA

      Amorim, M. de M. (2020). Itens de teste colaborativo em 6 camadas: perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-12092025-113733/
    • NLM

      Amorim M de M. Itens de teste colaborativo em 6 camadas: perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão [Internet]. 2020 ;[citado 2026 fev. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-12092025-113733/
    • Vancouver

      Amorim M de M. Itens de teste colaborativo em 6 camadas: perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão [Internet]. 2020 ;[citado 2026 fev. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-12092025-113733/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 25 fev. 2026.
    • APA

      Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • NLM

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 fev. 25 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • Vancouver

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 fev. 25 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026