Navegação estrutural Os Nossos Resultados "Towards a Specification Theory For Paraconsistent Logic" "Towards a specification theory for paraconsistent logic" Imagem WP 1 - Proj. #3 "Bombas de Calor e Equipamentos de combustão com H2 - Data Analytics" Tipo de ação Conference abstractAno: 2024Autores Juliana Cunha, Alexandre Madeira CIDMA, Dep. Mathematics, Aveiro University (Portugal); Luís S. Barbosa INESC TEC & Dep. Informatics, Minho University (Portugal)Link: https://www.math.tecnico.ulisboa.pt/~css/daysinlogic2024/public/DiL2024_abstracts.pdf