Pode incluir vídeos de https://educast.fccn.pt/vod/channels/17evd69jbb.
Vídeos encontrados: 3.
2025/02/07
José Espírito Santo
An extension of the Curry-Howard correspondence to proof search
2024/04/11
Bruno Loff
Why is solving the P vs NP problem so hard?
2022/11/15
Olga Pombo
O Lugar de Leibniz na História da Lógica
