5 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
Refinado por:
assunto:
Electronic Digital Computers
| 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
|
|
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 (4)
- Congresses (4)
- Computer Science Logic And Foundations Of Programming (4)
- Computer Programming (4)
- Artificial Thinking (4)
- Computer Software Engineering (4)
- Artificial Intelligence (4)
- Computers (4)
- Electronic Brains (4)
- Electronic Computer Programming (4)
- Computer Programming, Programs, Data (4)
- Computer Logic (4)
- Informatics (4)
- Ai (4)
- Abstract Machines (4)
- Formal Languages And Automata Theory (4)
- Abstract Automata (4)
- Automata (4)
- Logic, Symbolic And Mathematical (3)
- Lógica Matemática (Congressos) (1)
- Logic, Symbolic And Mathematical (1)
- Electronic Digital Computers–Programming (1)
-
Mais opções
Autor/Criador
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (4)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4)
- Springer Books (4)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- ACM Digital Library (1)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2016) (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 