"Towards a specification theory for paraconsistent logic"
Imagem
logo illiance_2

WP 1 - Proj. #3 "Bombas de Calor e Equipamentos de combustão com H2 - Data Analytics"

 

Tipo de ação Conference abstract

Ano: 2024

Autores 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