3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Book of abstracts
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
Sparse models a tractable fragment for SAT, MAXSAT and PSATMarcelo Finger Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Artigo de Congresso
|
|
Probabilistic abduction for PSATAlexandre Matos Arruda Marcelo Finger; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (17. 2014 Petrópolis)Book of Abstracts Campinas: Sociedade Brasileira de Lógica, 2014Campinas 2014Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo de Congresso
|
|
Representing rational McNaughton functions via MODSAT relativisationSandro Preto Marcelo Finger; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Lógica Matemática (2)
- Lógica (1)
- Probabilidade (1)
- Inteligência Artificial (1)
-
Mais opções
Autor/Criador
- Preto, S (1)
- Arruda, A (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 