Costa, Diana Filipa de Pinho
Hybrid logics with paraconsistency = Lógicas híbridas com paraconsistência / Diana Filipa de Pinho Costa; sob orientação de Manuel António Gonçalves Martins . - Aveiro : D. Costa, 2018 . - 1 CD-ROM. - II, 159 p. : il
Edição impressa e em CD-ROM.
Tese de doutoramento: Matemática Aplicada, Departamento de Matemática da Universidade de Aveiro, 2018.

http://hdl.handle.net/10773/28287

Matemática aplicada--Teses de doutoramento
Lógica híbrida
Variáveis diferenciais

CDU 510.6(043)