Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Qualification of tropical fruit-derived Lactobacillus plantarum strains as potential probiotics acting on blood glucose and total cholesterol levels in codetet Wistar ratsCosta, W. K. A. Da ; Brandao, L. R. ; Martino, M. E. ; Garcia, E. F. ; Alves, A. F. ; Souza, E. L. De ; Aquino, J. D. ; Saarela, M. ; Leulier, F. ; Vidal, Hubert ; Magnani, M.Food Res. Int, 2019, Vol.124, p.109-117 [Periódico revisado por pares]Sem texto completo |
2 |
Material Type: Ata de Congresso
|
![]() |
Sorted Multi-adjoint Logic Programs: Termination Results and ApplicationsDamásio, C. V. ; Medina, J. ; Ojeda-Aciego, M.Lecture notes in computer science, 2004, p.252-265 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A Logic with Conditional ProbabilitiesRASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, ZoranLecture notes in computer science, 2004, p.226-238 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Evolving Logic ProgramsAlferes, José Júlio ; Brogi, Antonio ; Leite, João Alexandre ; Pereira, Luís MonizLecture notes in computer science, 2002, p.50-62 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
A Meta-model for Representing Variability in Product Family DevelopmentBachmann, Felix ; Goedicke, Michael ; Leite, Julio ; Nord, Robert ; Pohl, Klaus ; Ramesh, Balasubramaniam ; Vilbig, AlexanderLecture notes in computer science, 2004, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
InterProlog: Towards a Declarative Embedding of Logic Programming in JavaCalejo, MiguelLecture notes in computer science, 2004, p.714-717 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Polynomial Approximations of Full Propositional Logic via Limited BivalenceFinger, MarceloLecture notes in computer science, 2004, p.526-538 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
A Protocol for Resource Sharing in Norm-Governed Ad Hoc NetworksArtikis, Alexander ; Kamara, Lloyd ; Pitt, Jeremy ; Sergot, MarekDeclarative Agent Languages and Technologies II, 2005, p.221-238 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
9 |
Material Type: Ata de Congresso
|
![]() |
Verdi: An Automated Tool for Web Sites VerificationAlpuente, M. ; Ballis, D. ; Falaschi, M.Lecture notes in computer science, 2004, p.726-729 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Exploiting Functional Dependencies in Declarative Problem SpecificationsCadoli, Marco ; Mancini, ToniLecture notes in computer science, 2004, p.628-640 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |