Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa

Visão geral
Pesquisas
Serviço
Ligações
Identidade
Ver todos

application sectors

Atividades dos serviços de tecnologia da informação
Pesquisa e desenvolvimento científico

has leader

Bruno Lopes Vieira
Universidade Federal Fluminense Organização

has partner

Centre de Recherche Inria Saclay - Île-de-France Organização
Centro de Informática Organização
Departamento de Ciência da Computação Organização
Departamento de Estatística e Informática Organização
Departamento de Informática Organização
Universidad Complutense de Madrid Organização
Université Jean Moulin Lyon 3 Organização

tem membro

Data arquivamento

2015