skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Programação Lógica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

Termination Proofs for Logic Programs

Lutz Plümer

Springer Berlin Heidelberg 1990

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

3
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings

International Conference on Logic Programming (3rd 1986 Imperial College of Science and Technology) Ehud Y Shapiro

Berlin Springer-Verlag New York c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.225 e.2 ) e outros locais(Acessar)

4
Discrete structures, logic, and computability
Discrete structures, logic, and computability
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete structures, logic, and computability

James L. Hein

Sudbury, Mass. Jones and Bartlett Publishers c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 H364d3 )(Acessar)

5
An object-oriented approach to programming logic and design
An object-oriented approach to programming logic and design
Material Type:
Livro 		Adicionar ao Meu Espaço

An object-oriented approach to programming logic and design

Joyce Farrell

Boston, MA. Course Technology-Cengage Learning c2011

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.424 F247o3 )(Acessar)

6
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.

7
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)

8
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)

9
From logic programming to Prolog
From logic programming to Prolog
Material Type:
Livro 		Adicionar ao Meu Espaço

From logic programming to Prolog

Krzysztof R. Apt 1949-

London Prentice Hall c1997

Localização: IME - Inst. Matemática e Estatística    (QA754 A655f )(Acessar)

10
Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers
Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and knowledge representation third international workshop, LPKR'97, Port Jefferson, New York, USA, october 17, 1997 : selected papers

International Workshop on Logic Programming and Knowledge Representation, LPKR'97 (3. 1997 Port Jefferson, N.Y.) J Dix 1961- (Jürgen); Luís Moniz Pereira; Teodor C Przymusinski 1947-

Berlin Springer New York c1998

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1990  (5)
  2. 1990Até1994  (6)
  3. 1995Até1998  (9)
  4. 1999Até2005  (9)
  5. Após 2005  (6)
  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.