Algoritmos para Lógica Computacional
pt
en
Mikolas Janota - 2ª feira 14h00 - 16h30
INESC-ID sala 328B
Outros horários podem ser combinados por email individualmente.
INESC-ID sede: Rua Alves Redol, 9
www.inesc-id.pt/contacts/
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
Teóricas
Labs
Horários de dúvidas
Projectos
Grading
Exames