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
Resultados 1 2 3 4 next page
Refinado por: data de publicação: 1993Até2009 remover assunto: Programação Lógica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reasoning with Logic Programming
Reasoning with Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Reasoning with Logic Programming

Alferes, José Júlio ; Moniz Pereira, Luís Alferes, José Júlio ; Moniz Pereira, Luís

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
2
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings

Ilkka Niemelä; Veronica Dahl; ICLP. <23, 2007, Porto>

Internetausg. Logic Programming

Berlin Springer Heidelberg u.a. 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4670 ) e outros locais(Acessar)

3
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Termination Proofs for Logic Programs

Plümer, Lutz

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
4
Live Data Structures in Logic Programs
Live Data Structures in Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Live Data Structures in Logic Programs

Anne Mulkers

Springer Berlin Heidelberg 1993

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

5
Logic programming 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Logic programming 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings

International Conference on Logic Programming (17th 2001 Paphos, Cyprus) Philippe Codognet

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2237 ) e outros locais(Acessar)

6
Logic for Applications
Logic for Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Applications

Nerode, Anil ; Shore, Richard A

New York, NY: Springer 1993

Texto completo disponível

Citações Citado por
7
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
8
Programming Challenges: The Programming Contest Training Manual
Programming Challenges: The Programming Contest Training Manual
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Challenges: The Programming Contest Training Manual

Skiena, Steven S ; Revilla, Miguel A Revilla, Miguel A

New York, NY: Springer Nature 2006

Texto completo disponível

Citações Citado por
9
Constraint Processing
Constraint Processing
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraint Processing

Dechter, Rina

San Diego: Elsevier Science 2003

Texto completo disponível

Citações Citado por
10
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

T. F Melham (Tom F.); Juanito Camilleri

Berlin New York Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.859 ) e outros locais(Acessar)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1995  (7)
  2. 1995Até1997  (7)
  3. 1998Até2001  (9)
  4. 2002Até2005  (11)
  5. Após 2005  (7)
  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.