João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
41
TÃTULO: Labelled Deduction over Algebras of Truth-Values*
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science