Algoritmos para Lógica Computacional
pt
en
João Marques Silva: Monday, 17:30-19:00, INESC-ID, room 334
Inês Lynce: Friday, 15:30-17:00, INESC-ID, room 329
Vasco Manquinho: Thursday, 14:00-15:30, INESC-ID, room 329
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Handouts
Exams
Projects
Description
Papers
Utils
Lectures
Practicals
Office Hours