Resultados de 1 a 10 de 472 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
- Recursos Online (311)
- Revistas revisadas por pares (252)
- Disponível na Biblioteca (9)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Trees in Algebra and Programming — CAAP '96CAAP '96 Hélène KirchnerSpringer Berlin Heidelberg 1996Acesso online |
| 2 |
Material Type: Livro
|
|
Algebraic and Logic ProgrammingKirchner Hélène Kirchner; Giorgio LeviSpringer Berlin Heidelberg 1992Acesso online |
| 3 |
Material Type: Livro
|
|
Frontiers of Combining SystemsFroCoS 2000 Hélène Kirchner; Christophe RingeissenSpringer Berlin Heidelberg 2000Acesso online |
| 4 |
Material Type: Livro
|
|
Algebraic and logic programming proceedingsInternational Workshop on Algebraic and Logic Programming. 3., Volterra, 1992 Helene KirchnerBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.632 e.1 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Automated Deduction — CADE-15International Conference on Automated Deduction Claude Kirchner; Hélène KirchnerSpringer Berlin / Heidelberg 1998Acesso online |
| 6 |
Material Type: Livro
|
|
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996Colloquium on Trees in Algebra and Programming (21. 1996 Sinkoping, Se) Helene Kirchner; European Symposium on Programming (6. 1996 Linkoping, Se)Berlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1059 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Algebraic and logic programming proceedingsInternational Workshop on Algebraic and Logic Programming. 2., Nancy, 1990 Helene Kirchner; Wolfgang WechlerBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.463 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Algebraic and Logic ProgrammingKirchner Hélène Kirchner; Wolfgang Wechler; Centre national de la recherche scientifique (France)Springer Berlin Heidelberg 1990Acesso online |
| 9 |
Material Type: Livro
|
|
Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthdayHubert Comon; Claude Kirchner; H Kirchner (Hélène)Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4600 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Algebraic Methodology and Software TechnologyInternational Conference on Algebraic Methodology and Software Technology Hélène Kirchner; Christophe RingeissenSpringer Berlin Heidelberg 2002Acesso online |
Resultados de 1 a 10 de 472 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (311)
- Revistas revisadas por pares (252)
- Disponível na Biblioteca (9)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (184)
- Book Chapters (111)
- Artigos (84)
- Reports (42)
- Livros (31)
- Web Resources (9)
- Dissertações (5)
- Conjunto de Dados (2)
- Recursos Textuais (2)
- magazinearticle (2)
-
Mais opções
Assunto
- Computer Science (203)
- Exact Sciences And Technology (98)
- Applied Sciences (98)
- Computer Science; Control Theory; Systems (98)
- Science & Technology (85)
- Other (73)
- Technology (72)
- Computer Science, Theory & Methods (46)
- Theoretical Computing (43)
- Logic In Computer Science (41)
- Artificial Intelligence (35)
- Software (33)
- Problem Solving, Game Playing (29)
- Logic Programming (26)
- Computer Science, Software Engineering (26)
- Computer Science, Artificial Intelligence (22)
- Logic Program (22)
- Function Symbol (20)
- Operational Semantic (18)
- Software Engineering (17)
- Inference Rule (17)
- Logic, Symbolic And Mathematical (5)
- Inteligência Artificial (4)
- Prolog (Congressos) (2)
- Lógica Matemática (2)
- Ciência Da Computação (Investigação;Pesquisa;Técnicas) (1)
- Ciência Da Computação (1)
- Linguagem De Programação (1)
- Projeto De Software (1)
- Abstract Data Types (Computer Science) (1)
- Técnicas De Programação (1)
- Metodologia E Técnicas De Computação (1)
- Jouannaud, Jean-Pierre (1)
- Logic, Symbolic And Mathematical (1)
- Computabilidade E Complexidade (1)
- Rewriting Systems (Computer Science) (1)
- Teoria Da Computação (1)
- Software Engineering (1)
- Linguagem De Programação (Congressos) (1)
- Prova Automática De Teoremas (1)
- Jouannaud, Jean-Pierre (1)
- Especificação De Sistemas E Programas (1)
-
Mais opções
Autor/Criador
- Kirchner, H (15)
- Ringeissen, C (5)
- Kirchner (2)
- FroCoS 2000 (2)
- Wechler, W (2)
- Kirchner, C (2)
- Colloquium on Trees in Algebra and Programming (1)
- Comon, H (1)
- International Workshop on Algebraic and Logic Programming. 3. (1)
- Levi, G (1)
- European Symposium on Programming (1)
- AMAST 2002 (1)
- International Conference on Algebraic Methodology and Software Technology (1)
- Centre national de la recherche scientifique (France) (1)
- International Workshop on Frontiers of Combining Systems (1)
- International Colloquium on Trees in Algebra and Programming (1)
- CAAP '96 (1)
- European Symposium on Programming, E (1)
- International Workshop on Algebraic and Logic Programming. 2. (1)
- kircher, C (1)
-
Mais opções
Data de Publicação
- Antes de1990 (13)
- 1990Até1999 (116)
- 2000Até2007 (289)
- 2008Até2016 (66)
- Após 2016 (35)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (234)
- Lecture Notes in Computer Science Archive (through to 1996) (234)
- Science Citation Index Expanded (Web of Science) (57)
- EZB Electronic Journals Library (43)
- ScienceDirect Journals (39)
- Springer Books (39)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (37)
- SpringerLink Books Lecture Notes in Computer Science Archive (34)
- Springer Books Online Archive (34)
- ROAD (33)
- Open Access: Freely Accessible Journals by multiple vendors (9)
- ACM Digital Library (9)
- arXiv.org (9)
- UAB Digital Repository (9)
- DOAJ Directory of Open Access Journals (8)
- Computers & Applied Sciences Complete - EBSCO (5)
- Networked Digital Library of Theses and Dissertations (5)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (5)
- IngentaConnect Journals (4)
- Springer Nature - Springer Journals All 2022 (4)
-
Mais opções
Nome da Publicação
- Electronic Notes In Theoretical Computer Science (18)
- Theoretical Computer Science (9)
- arXiv.org (8)
- Electronic Proceedings In Theoretical Computer Science (6)
- Embo Reports (3)
- Annals Of Mathematics And Artificial Intelligence (3)
- Brics Report Series (2)
- International Journal Of Security And Networks (2)
- Ieee Nanotechnology Magazine (2)
- International Journal Of Foundations Of Computer Science (2)
- Lecture Notes in Artificial Intelligence (1)
- Lecture notes in computer science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 