9 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
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Proceedings Fourth Annual Symposium on Logic in Computer ScienceSymposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.Washington, D.C. Computer Society Press 1989Localização: IME - Inst. Matemática e Estatística (QA11.7.C S989p 4 )(Acessar) |
| 2 |
Material Type: Livro
|
|
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(Acessar) |
| 3 |
Material Type: Livro
|
|
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Henzinger, Thomas ; Miller, DaleACM 2014Texto completo disponível |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
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
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Science (8)
- Congresses (7)
- Computer Logic (7)
- Thinking, Artificial (6)
- Machine Intelligence (6)
- Artificial Thinking (6)
- Artificial Intelligence (6)
- Electronic Brains (6)
- Intellectronics (6)
- Intelligence, Artificial (6)
- Mathematical Logic (6)
- Intelligent Machines (6)
- Mathematical Machine Theory (6)
- Ai (6)
- Machine Theory (6)
- Abstract Machines (6)
- Formal Languages And Automata Theory (6)
- Abstract Automata (6)
- Mathematical Logic And Formal Languages (6)
- Automata (6)
- Logic, Symbolic And Mathematical (5)
- Electronic Data Processing (5)
- Electronic Digital Computers (4)
- Lógica Matemática (Congressos) (1)
- Técnicas De Programação (1)
- Logic, Symbolic And Mathematical (1)
- Ciência Da Computação (1)
- Electronic Digital Computers (1)
- Lógica (1)
- Electronic Data Processing (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1993 (1)
- 1993Até2010 (1)
- 2011Até2011 (1)
- 2012Até2013 (3)
- Após 2013 (4)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (6)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (6)
- Springer Books (6)
- SpringerLINK Lecture Notes in Computer Science (2015) (6)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
- ACM Digital Library (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- 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: 