Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"CNPQ CIENCIAS HUMANAS FILOSOFIA"
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor:
Alves, Carlos Roberto Teixeira
Assunto em inglês:
Satisfiability
Tipo de acesso:
openAccess
Mostrar filtros (3)
Autor:
Alves, Carlos Roberto Teixeira
Assunto em inglês:
Satisfiability
Tipo de acesso:
openAccess
Resultados da busca: "CNPQ CIENCIAS HUMANAS FILOSOFIA"
Mostrando
1 - 1
resultados de
1
para a busca '
"CNPQ CIENCIAS HUMANAS FILOSOFIA"
'
, tempo de busca: 0,14s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Assuntos:
“
...
CNPQ
::
CIENCIAS
HUMANAS
::
FILOSOFIA
...
”
Sobre o conceito semântico de satisfação
Por
Alves, Carlos Roberto Teixeira
Publicado em 2015
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica de São Paulo (PUC-SP)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_SP
1
Programa de Pós-Graduação
Programa de Estudos Pós-Graduados em Filosofia
1
Autor
Alves, Carlos Roberto Teixeira
Orientador(a)
Ibri, Ivo Assad
1
Tipo de documento
Tese
1
Tipo de acesso
openAccess
Idioma
Português
1
Assunto
Critérios de satisfação
1
Estruturas relacionais
1
Lógica de primeira ordem
1
Satisfatibilidade
1
Sequências finitas
1
Tarski
1
Assunto em inglês
Criteria s satisfaction
1
Finite sequences
1
First-order logic
1
Relational structures
1
Satisfiability
Tarski
1
Área do conhecimento CNPq
FILOSOFIA
1
Ano da publicação
De:
Até:
Carregando...