skip to main content
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Qualification of tropical fruit-derived Lactobacillus plantarum strains as potential probiotics acting on blood glucose and total cholesterol levels in codetet Wistar rats
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Qualification of tropical fruit-derived Lactobacillus plantarum strains as potential probiotics acting on blood glucose and total cholesterol levels in codetet Wistar rats

Costa, 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
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

Damá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 Heidelberg

Texto completo disponível

3
A Logic with Conditional Probabilities
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Logic with Conditional Probabilities

RASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, Zoran

Lecture notes in computer science, 2004, p.226-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Evolving Logic Programs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Evolving Logic Programs

Alferes, José Júlio ; Brogi, Antonio ; Leite, João Alexandre ; Pereira, Luís Moniz

Lecture notes in computer science, 2002, p.50-62 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
A Meta-model for Representing Variability in Product Family Development
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Meta-model for Representing Variability in Product Family Development

Bachmann, Felix ; Goedicke, Michael ; Leite, Julio ; Nord, Robert ; Pohl, Klaus ; Ramesh, Balasubramaniam ; Vilbig, Alexander

Lecture notes in computer science, 2004, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

InterProlog: Towards a Declarative Embedding of Logic Programming in Java

Calejo, Miguel

Lecture notes in computer science, 2004, p.714-717 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Polynomial Approximations of Full Propositional Logic via Limited Bivalence

Finger, Marcelo

Lecture notes in computer science, 2004, p.526-538 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks

Artikis, Alexander ; Kamara, Lloyd ; Pitt, Jeremy ; Sergot, Marek

Declarative Agent Languages and Technologies II, 2005, p.221-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

9
Verdi: An Automated Tool for Web Sites Verification
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Verdi: An Automated Tool for Web Sites Verification

Alpuente, M. ; Ballis, D. ; Falaschi, M.

Lecture notes in computer science, 2004, p.726-729 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Exploiting Functional Dependencies in Declarative Problem Specifications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Exploiting Functional Dependencies in Declarative Problem Specifications

Cadoli, Marco ; Mancini, Toni

Lecture notes in computer science, 2004, p.628-640 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (28)

Data de Publicação 

De até
  1. Antes de1998  (1)
  2. 1998Até1998  (3)
  3. 1999Até1999  (1)
  4. 2000Até2002  (3)
  5. Após 2002  (29)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.