Search

Now showing items 11-20 of 30

Análise de métodos para especificação semântica de linguagens de programação.

Lang, Leonardo Trentini (2018)

A rigorous methodology for developing GUI-based DSL formal tools

Silva, Robson dos Santos e (Universidade Federal de Pernambuco, 2015)

Uma nova abordagem para a noção de quase-verdadeA new approach to the concept of quase-truth

Silvestrini, Luiz Henrique da Cruz ([s.n.], 2011)

Logicas moduladas e raciocinio sob incerteza

Gracio, Maria Claudia Cabrini ([s.n.], 1999)

Semântica de condicionais e contexto

Santos, Maria Leonor Maia dos (Florianópolis, SC, 2012)

Basic Laws of Object Modeling

Ghevi, Rohit (Universidade Federal de Pernambuco, Fri )

Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo

Bueno-Soler, Juliana, 1976- ([s.n.], 2009)

Sobre os fundamentos de programação lógica paraconsistenteOn the foundations of paraconsistent logic programming

Rodrigues, Tarcísio Genaro ([s.n.], 2010)

Uma lógica para a referência ambígua

Sebben, Andressa (Florianópolis, SC, 2012)

Larch : uma alternativa para especificação formal

Castro Vera, Ausberto Silverio (2010)

1
2
3