!HOMOLOGAÇÃO! › SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas Redenção, 06 de Abril de 2026

marcia roberta falcao de farias

IEDS - INSTITUTO DE ENGENHARIAS E DESENVOLVIMENTO SUSTENTÁVEL

Produção Intelectual

Artigos (3)

  • 2017, Marcia Roberta Falcao de Farias, MARTINS, ANA TERESA, FERREIRA, FRANCICLEBER , The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results, ISSN: 15710661
  • 2007, Marcia Roberta Falcao de Farias, Alberto Nogueira de Castro Júnior, Thaís Helena Chaves de Castro, Zeina Rebouças Corrêa Thomé , Inclusão Social e Digital através da Formação para o Trabalho, ISSN: 23166541
  • 2004, MOTA, E., CLARKE, E., Alex Groce, Waleska Oliveira, Marcia Roberta Falcao de Farias, Jorge Kanda , VeriAgent: an Approach to Integrating UML and Formal Verification Tools, ISSN: 15710661

Trabalho de Fim de Curso(1)

  • A Lógica dos Problemas Computacionais., ALVARO DA SILVA FARIAS , 11/2024

SIGAA | Diretoria de Tecnologia da Informação - - | Copyright © 2006-2026 - !HOMOLOGAÇÃO! - homologadminrh2.adminrh2 v3.22.20