Centre de Recherche Inria Saclay - Île-de-France Organização

•  
• Visão geral
•  
• Pesquisas
•  
• Contato
•  
• Identidade
•  
• Ver todos
•  

Visão geral

abreviação

• INRIA-SACLAY

Pesquisas

partner in

• Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME)  Grupo de Pesquisa
• MODELAGEM, ANÁLISE E DESENVOLVIMENTO DE REDES E SISTEMAS DE COMPUTAÇÃO (LAND)  Grupo de Pesquisa
• TecMF - Logical Reasoning  Grupo de Pesquisa

Contato

endereço

• Palaiseau

  Não informado

  Brasil

Identidade

identificador BrCris

• c3bd0fd358b08e11e7049f263e626c5d