Summary: Tipos,
Provas
e
o
Problema
de
Exist^
encia
de
Habitantes
Mauricio
Ayala-Rinc
on
Grupo
de
Teoria
da
Computac ~
ao
-

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics