Entre a amor e a loucura

von Marcos, João
Veröffentlicht 1987

Uma terra que se chamou Geridel : romance

von Marcos, João
Veröffentlicht 1992

O ser e o nada

von Marcos, João
Veröffentlicht 19961997

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics

von Greati, Vitor
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Contoário cem

Veröffentlicht 1996

Proof Search on Bilateralist Judgments over Non-deterministic Semantics

von Greati, Vitor
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations

von Farias, Antonio Diego S.
Veröffentlicht in International Fuzzy Systems Association (2019 : Lafayette, La.) Fuzzy techniques (2019)