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:
autor:
LPAR (Conference)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and ReasoningLPAR (Conference) Robert Nieuwenhuis; AndreÄ Voronkov; J van LeeuwenSpringer Berlin Heidelberg 2001Acesso online |
| 2 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and ReasoningLPAR (Conference) Matthias Baaz; AndreÄ Voronkov; J van LeeuwenSpringer Berlin Heidelberg 2002Acesso online |
| 3 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and ReasoningLPAR (Conference) Moshe Y Vardi; AndreÄ Voronkov; Jan van LeeuwenSpringer Berlin Heidelberg 2003Acesso online |
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 