Resultados de 1 a 10 de 39 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 (27)
- Revistas revisadas por pares (24)
Refinado por:
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Strength and consolidation characteristics of underwater vacuum consolidated dredged siltHaegeman, Wim ; DE SCHRIJVER, P ; VAN MIEGHEM, J2002Sem texto completo |
| 2 |
Material Type: Ata de Congresso
|
|
Normal Form Bisimulations for Delimited-Control OperatorsBiernacki, Dariusz ; Lenglet, SergueïFunctional and Logic Programming, 2012, Vol.LNCS 7294, p.47-61 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Exact Flow Analysis by Higher-Order Model CheckingTobita, Yoshihiro ; Tsukada, Takeshi ; Kobayashi, NaokiFunctional and Logic Programming, 2012, p.275-289 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Call-by-Value Solvability, RevisitedAccattoli, Beniamino ; Paolini, LucaFunctional and Logic Programming, p.4-16 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
The Finite Domain Constraint Solver of SWI-PrologTriska, MarkusFunctional and Logic Programming, p.307-316 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Classical Call-by-Need Sequent Calculi: The Unity of Semantic ArtifactsAriola, Zena M. ; Downen, Paul ; Herbelin, Hugo ; Nakata, Keiko ; Saurin, AlexisFunctional and Logic Programming, p.32-46 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
IterateesKiselyov, OlegFunctional and Logic Programming, p.166-181 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
A General Implementation Framework for Tabled CLPChico de Guzmán, Pablo ; Carro, Manuel ; Hermenegildo, Manuel V. ; Stuckey, PeterFunctional and Logic Programming, p.104-119 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Declarative Debugging of Wrong and Missing Answers for SQL ViewsCaballero, Rafael ; García-Ruiz, Yolanda ; Sáenz-Pérez, FernandoFunctional and Logic Programming, p.73-87 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
A Lambda Calculus for Gödel–Dummett Logic Capturing WaitfreedomHirai, YoichiFunctional and Logic Programming, p.151-165 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 39 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 (27)
- Revistas revisadas por pares (24)
Refinar Meus Resultados
Assunto
- Science & Technology (26)
- Technology (26)
- Computer Science (24)
- Computer Science, Theory & Methods (24)
- Computer Science, Software Engineering (21)
- Theory Of Computation (13)
- Theory Of Computation -- Logic (7)
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics (6)
- Theory Of Computation -- Semantics And Reasoning (6)
- Technology And Engineering (6)
- Computing Methodologies (5)
- Logic Program (5)
- Computing Methodologies -- Artificial Intelligence (4)
- Computer Science, Artificial Intelligence (4)
- Computing Methodologies -- Artificial Intelligence -- Knowledge Representation And Reasoning (4)
- Theory Of Computation -- Logic -- Constraint And Logic Programming (4)
- Logic Programming (4)
- Software And Its Engineering (3)
- Theory Of Computation -- Formal Languages And Automata Theory (3)
- Information Systems (3)
-
Mais opções
Data de Publicação
- Antes de1990 (3)
- 1990Até1993 (2)
- 1994Até1997 (2)
- 1998Até2006 (8)
- Após 2006 (24)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (23)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (23)
- SpringerLINK Lecture Notes in Computer Science (2012) (19)
- Springer Nature - Springer Computer Science eBooks 2012 English International (19)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (19)
- ACM Digital Library (19)
- Springer Books (19)
- Ghent University Academic Bibliography (7)
- Aerospace Database (4)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- SPIE Digital Library (Journals) (2)
- Science Citation Index Expanded (Web of Science) (2)
- Oxford University Press:Jisc Collections:Medicine Collection:2018 (1)
- NASA Technical Reports Server (1)
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (1)
- Oxford Journals - CRKN (1)
- SPIE Conference Proceedings by volume (1)
- Journals@Ovid Ovid Full Text (1)
- Oxford University Press Journals Current (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 