skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Lecture Notes in Artificial Intelligence remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proving pointer programs in higher-order logic
Proving pointer programs in higher-order logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving pointer programs in higher-order logic

Mehta, Farhad ; Nipkow, Tobias

Information and computation, 2005-05, Vol.199 (1), p.200-227 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
2
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Inductive Logic Programming

Shan-Hwei Nienhuys-Cheng Ronald De Wolf

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

3
Deductive Synthesis of Recursive Plans in Linear Logic
Deductive Synthesis of Recursive Plans in Linear Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deductive Synthesis of Recursive Plans in Linear Logic

Cresswell, Stephen ; Smaill, Alan ; Richardson, Julian

Lecture notes in computer science, 2000, p.252-264 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Challenges for Action Theories
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

Acesso online. A biblioteca também possui exemplares impressos.

5
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

6
A Logic for modeling decision making with dynamic preferences
A Logic for modeling decision making with dynamic preferences
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Logic for modeling decision making with dynamic preferences

DE VOS, Marina ; VERMEIR, Dirk

Lecture notes in computer science, 2000, p.391-406 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Source-tracking unification
Source-tracking unification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Source-tracking unification

Choppella, Venkatesh ; Haynes, Christopher T.

Information and computation, 2003-01, Vol.201 (2), p.121-159 [Periódico revisado por pares]

Berlin: Elsevier Inc

Texto completo disponível

Citações Citado por
8
Combining Mobile Processes and Declarative Programming
Combining Mobile Processes and Declarative Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining Mobile Processes and Declarative Programming

Echahed, Rachid ; Serwe, Wendelin

Computational Logic — CL 2000, 2000, p.300-314 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Contextual Reasoning in Speech-to-Speech Translation
Contextual Reasoning in Speech-to-Speech Translation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contextual Reasoning in Speech-to-Speech Translation

Koch, Stephan ; Küssner, Uwe ; Stede, Manfred ; Tidhar, Dan

Lecture notes in computer science, 2000, p.283-292 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Combining Different Translation Sources
Combining Different Translation Sources
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining Different Translation Sources

Küssner, Uwe ; Tidhar, Dan

Lecture notes in computer science, 2000, p.261-271 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (9)
  2. Livros  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até1998  (1)
  3. 1999Até1999  (1)
  4. 2000Até2003  (10)
  5. Após 2003  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.