Defesa de Dissertação de Dissertação de Mestrado: Quantum algorithms for proof search in linear logic

Autor: Lorenzo Palermo Saraiva

Orientador: Edward Hermann

Data e Hora: 09/09/2022 às 14h

Local: RDC510  /  Remota

Categorias: Notícias, Teses e Dissertações