Memorias de investigación
Communications at congresses:
TPR 07 (Types, Proofs and Rewriting)
Year:2007

Research Areas
  • Artificial intelligence

Information
Abstract
Miembro del Comité del Programa y Ponente invitado
International
Si
Congress
TPR 07 (Types, Proofs and Rewriting)
960
Place
Paris, France
Reviewers
Si
ISBN/ISSN
Start Date
End Date
From page
To page
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial