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