Mostrando 9 resultados

Descrição arquivística
Manuel Bauer Estivalet
Visualizar impressão
Visualização em ficha Visualização em tabela
Trabalho
BR SPCLEARQ AMACL-AP-D-UFRGS-IT118 · Item · s.d.
Parte de 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.
Parte de 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-IT119 · Item · s.d.
Parte de 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
Parte de 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
Parte de 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.
Notas de Aulas
BR SPCLEARQ AMACL-AP-D-UFRGS-NA-IT005 · Item · 1998-05-28
Parte de Andrea Maria Altino de Campos Loparic
Notas de aulas sobre conjunto solução e significado formal elaborado por Manuel Bauer Estivalet
Dissertação
BR SPCLEARQ AMACL-AP-APesq-Or-IT023 · Item · 2000-07
Parte de 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.
Artigo
BR SPCLEARQ AMACL-AP-APesq-Or-IT021 · Item · s.d.
Parte de 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'.
Artigo
BR SPCLEARQ AMACL-AP-APesq-Or-IT022 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
[Artigo não publicado] de Manuel Bauer Estivalet intitulado 'Semântica de valorações para S4'.