Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"tableau methods"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "tableau methods"
Buscas alternativas
:
"tableau methods" »
"tableaux method"
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
"tableau methods"
'
, tempo de busca: 0,06s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Assuntos:
“
...
tableau
methods
...
”
\"Um provador de teoremas multi-estratégia\"
Por
Seca Neto, Adolfo Gustavo Serra
Publicado em 2007
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade de São Paulo (USP)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da USP
1
Autor
Seca Neto, Adolfo Gustavo Serra
1
Tipo de documento
Tese
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
classical logic
1
desenvolvimento de software
1
logics of formal inconsistency
1
lógica clássica
1
lógica paraconsistente
1
lógicas de inconsistência formal
1
Mais ...
método dos tablôs
1
paraconsistent logic
1
provadores de teoremas
1
software development
1
tableau methods
1
theorem prover
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...
