6 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:
assunto:
Machine Intelligence
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected PapersAher, Martin ; Hole, Daniel ; Jeřábek, Emil ; Kupke, Clemens Jeř'bek, Emil ; Aher, Martin ; Hole, Daniel ; Kupke, ClemensNetherlands: Springer Nature 2015Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, ProceedingsKiselyov, Oleg ; King, Andy Kiselyov, Oleg ; King, AndyCham: Springer Nature 2016Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected PapersBezhanishvili, Guram ; Löbner, Sebastian ; Marra, Vincenzo ; Richter, Frank Richter, Frank ; L'bner, Sebastian ; Bezhanishvili, Guram ; Marra, VincenzoNetherlands: Springer Nature 2013Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, ProceedingsSchrijvers, Tom ; Thiemann, Peter Schrijvers, Tom ; Thiemann, PeterNetherlands: Springer Nature 2012Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. ProceedingsCodish, Michael ; Sumii, Eijiro Codish, Michael ; Sumii, EijiroNetherlands: Springer Nature 2014Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected PapersVidal, Germán Vidal, Germ'nNetherlands: Springer Nature 2012Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Data de Publicação
- Antes de2012 (1)
- 2012Até2012 (2)
- 2013Até2013 (1)
- 2014Até2015 (2)
- Após 2015 (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (6)
- Springer Books (6)
- SpringerLINK Lecture Notes in Computer Science (2015) (6)
- SpringerLINK Lecture Notes in Computer Science (6)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- ACM Digital Library (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2016) (1)
- SpringerLINK Lecture Notes in Computer Science (2013) (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 