Now showing items 1-10 of 25
Semantica nominativa e logicas modais
([s.n.], 1989)
Semântica formal aplicada a linguagens naturais /
(Florianópolis, SC, 2012)
Semanticas de traduções possiveis
([s.n.], 1999)
Semantica de sociedades para logicas n-valentes
([s.n.], 2001)
Crenças não ditas, ditos de crenças
([s.n.], 2003)
Semantica algebrica de traduções possiveis
([s.n.], 2004)
A rigorous methodology for developing GUI-based DSL formal tools
(Universidade Federal de Pernambuco, 2015)