$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Foto não disponivel
Haeusler, Edward Hermann

19-
Professor
Departamento de Informática
PUC-Rio

Materiais Relacionados:


Orientador/Co-Orientador
- ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS
29/12/2003
- PROJETO DE IMPLEMENTAÇÃO E PROTOTIPAGEM DE REGRAS DE MANIPULAÇÃO DE PROVAS EM DEDUÇÃO NATURAL
20/09/2023
- JARASPER:UM SIMULADOR DE ARQUITETURAS COMPUTACIONAIS FLEXÍVEL E CONFIGURÁVEL AO NÍVEL DE REGISTRADORES
19/09/2023
- SOBRE O USO DE INTELIGÊNCIA ARTIFICIAL E MACHINE LEARNING PARA PREDIÇÃO DE MARÉS E PROPOR O MELHOR ARRANJO DAS ETAPAS DO CIRCUITO NACIONAL DE SURF
03/03/2022
- UMA ABORDAGEM EXPERIMENTAL SOBRE A COMPRESSÃO DE PROVAS EM DEDUÇÃO NATURAL MINIMAL IMPLICACIONAL
26/03/2020
- A LÓGICA SOBRE LEIS IALC:IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
19/03/2020
- FORMALIZAÇÃO DE ALGORITMOS DE CRIPTOGRAFIA EM UM ASSISTENTE DE PROVAS INTERATIVO
13/12/2018
- UMA ABORDAGEM PARA MODELAR, ARMAZENAR E ACESSAR SEQUÊNCIAS BIOLÓGICAS
03/04/2013
- INTEGRANDO MODELAGEM INTENCIONAL À MODELAGEM DE PROCESSOS
24/07/2012
- UMA BIBLIOTECA DE COMPONENTES DE SOFTWARE PARA SIMULADORES DE RADAR
06/03/2012
- CRIAÇÃO AUTOMÁTICA DE VISÕES MATERIALIZADAS EM SGBDS RELACIONAIS
07/11/2011
- PROVENIÊNCIA PARA WORKFLOWS DE BIOINFORMÁTICA
25/10/2011
- INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
27/09/2010
- CONFIANÇA EM AGENTES INTELIGENTES
27/03/2008
- LÓGICA MODAL DE PRIMEIRA-ORDEM PARA RACIOCINAR SOBRE JOGOS
25/06/2007
- COMPACTAÇÃO DE PROVAS LÓGICAS
01/06/2007
- ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS:UMA ABORDAGEM BASEADA EM LINGUAGEM
03/04/2006
- UM MODELO CONCEITUAL PARA BIOLOGIA MOLECULAR
17/03/2006
- ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS
04/10/2004
- UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
23/09/2004
- EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS
10/09/2004
- TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
06/08/2004
- TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
22/01/2004
- 2-CATEGORY AND PROOF THEORY
12/02/2010
- LAW AND ORDER(ING):PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
30/01/2024
- A LABELLED NATURAL DEDUCTION LOGICAL FRAMEWORK
27/11/2023
- QUANTUM ALGORITHMS FOR PROOF SEARCH IN LINEAR LOGIC
25/10/2022
- SYSTEMS FOR PROVABILITY AND COUNTERMODEL GENERATION IN PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC
23/11/2021
- A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES
09/02/2017
- PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
23/01/2017
- SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
19/01/2017
- PATIENT-BUDDY-BUILD:CUSTOMIZED MOBILE MONITORING FOR PATIENTS WITH CHRONIC DISEASES
13/01/2017
- ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
19/03/2015
- EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
10/02/2015


<< voltar
Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui