Seminário de Teoria da Computação Provas verificáveis probabilisticamente e suas conseqüências para a aproximação de problemas Pietro Kreitlon Carolino Sexta-feira, 7 de novembro de 2003 Auditório (IC1), 13:00hs