Showing 9 results

Archival description
Manuel Bauer Estivalet
Print preview
Card view Table view
Artigo
BR SPCLEARQ AMACL-AP-APesq-Or-IT021 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
[Artigo não publicado] de Manuel Bauer Estivalet intitulado 'Semântica de valorações para extensões de K'.
Trabalho
BR SPCLEARQ AMACL-AP-D-UFRGS-IT118 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Trabalho de Manuel Bauer Estivalet para a disciplina de Lógica III ministrada por Andrea Loparic na Universidade Federal do Rio Grande do Sul.
Trabalho
BR SPCLEARQ AMACL-AP-D-UFRGS-IT120 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Trabalho de Manuel Bauer Estivalet para a disciplina de Lógica III ministrada por Andrea Loparic na Universidade Federal do Rio Grande do Sul.
Artigo
BR SPCLEARQ AMACL-AP-APesq-Or-IT022 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
[Artigo não publicado] de Manuel Bauer Estivalet intitulado 'Semântica de valorações para S4'.
Dissertação
BR SPCLEARQ AMACL-AP-APesq-Or-IT023 · Item · 2000-07
Part of Andrea Maria Altino de Campos Loparic
Trabalho de Manuel Bauer Estivalet intitulado 'Cálculos Lógicos e Semânticas de Valorações' apresentado para obtenção do grau de Bacharel em Filosofia, orientado por Andrea Loparic em 2000.
Trabalho
BR SPCLEARQ AMACL-AP-D-UFRGS-IT119 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Trabalho de Manuel Bauer Estivalet para a disciplina de Lógica III ministrada por Andrea Loparic na Universidade Federal do Rio Grande do Sul.
Trabalho
BR SPCLEARQ AMACL-AP-D-UFRGS-IT041 · Item · 1996
Part of Andrea Maria Altino de Campos Loparic
Trabalho de Manuel Bauer Estivalet para a disciplina de Lógica II ministrada por Andrea Loparic em 1996.
Orientandos
BR SPCLEARQ AMACL-AP-APesq-Or · Series · 1994 - 2020
Part of Andrea Maria Altino de Campos Loparic
A série conta com projetos de pesquisa, relatório de atividades, dissertações e teses dos orientandos de Andrea Loparic. São eles: Silvia Altmann, Ana Maria Rodrigues da Costa, Júlio César Azevedo Custódio, Manuel Bauer Estivalet, Pedro Alonso Amaral Falcão, René Pierre Maximilian Eduard Mazak, Gilmar Moraes, Daisy Nunes de Rocha, Renato Soares Siqueira e Luciano Vicente.