skip to main content
Idioma:
Refinado por: Nome da Publicação: Handbook of the 4th World Congress and School on Universal Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Belief revision in description logics with tipicality
Belief revision in description logics with tipicality
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief revision in description logics with tipicality

José David Fernandez Curado Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)

Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013

Rio de Janeiro UNILOG 2013

Acesso online. A biblioteca também possui exemplares impressos.

2
Revising formal program specifications using KMTS
Revising formal program specifications using KMTS
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising formal program specifications using KMTS

Paulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)

Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013

Rio de Janeiro UNILOG 2013

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Autor/Criador 

  1. Andrade, A  (1)
  2. Curado, J  (1)
  3. Oliveira, P  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Wassermann, R
  2. World Congress and School on Universal Logic
  3. Andrade, A
  4. Curado, J
  5. Oliveira, P

Neste Assunto:

  1. Lógica Matemática
  2. Representação De Conhecimento

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.