skip to main content
Idioma:
previous page 1 Resultados 2 3 next page
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
11
Measure Logics for Spatial Reasoning
Measure Logics for Spatial Reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Measure Logics for Spatial Reasoning

Giritli, Mehmet

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
12
Towards a Logical Analysis of Biochemical Pathways
Towards a Logical Analysis of Biochemical Pathways
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards a Logical Analysis of Biochemical Pathways

Doherty, Patrick ; Kertes, Steve ; Magnusson, Martin ; Szalas, Andrzej

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
13
tascpl: TAS Solver for Classical Propositional Logic
tascpl: TAS Solver for Classical Propositional Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

tascpl: TAS Solver for Classical Propositional Logic

Ojeda-Aciego, M. ; Valverde, A.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
The MyYapDB Deductive Database System
The MyYapDB Deductive Database System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The MyYapDB Deductive Database System

Ferreira, Michel ; Rocha, Ricardo

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
15
Games for Cognitive Agents
Games for Cognitive Agents
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Games for Cognitive Agents

Dastani, Mehdi ; van der Torre, Leendert

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
16
A Heuristic Approach to Energy Saving in Ad Hoc Networks
A Heuristic Approach to Energy Saving in Ad Hoc Networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Heuristic Approach to Energy Saving in Ad Hoc Networks

da Silva, R. I. ; Leite, J. C. B. ; Fernandez, M. P.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
17
A Social Approach to Communication in Multiagent Systems
A Social Approach to Communication in Multiagent Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Social Approach to Communication in Multiagent Systems

Colombetti, Marco ; Fornara, Nicoletta ; Verdicchio, Mario

Declarative Agent Languages and Technologies, 2004, p.191-220 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
18
New DLV Features for Data Integration
New DLV Features for Data Integration
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

New DLV Features for Data Integration

Calimeri, Francesco ; Citrigno, Manuela ; Cumbo, Chiara ; Faber, Wolfgang ; Leone, Nicola ; Perri, Simona ; Pfeifer, Gerald

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
19
Linear Logic, Partial Deduction and Cooperative Problem Solving
Linear Logic, Partial Deduction and Cooperative Problem Solving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Linear Logic, Partial Deduction and Cooperative Problem Solving

Küngas, Peep ; Matskin, Mihhail

Declarative Agent Languages and Technologies, 2004, p.263-279 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
20
Generalizing updates: From models to programs
Generalizing updates: From models to programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Generalizing updates: From models to programs

Leite, JoÃo Alexandre ; Pereira, Luís Moniz

Lecture notes in computer science, 1998, p.224-246 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.