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 5 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Conclog: A Methodological Approach to Concurrent Logic Programming

Jean-Marie Jacquet

Springer Berlin Heidelberg 1991

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

3
Proof and Computation
Proof and Computation
Proof and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof and Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1995

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

4
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) Laurent Fribourg 1957-; Franco Turini 1949-; META '94 (1994 Pisa, Italy)

Berlin Springer-Verlag New York c1994

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

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
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

ILP '97 (7th 1997 Czech Republic) Nada Lavraéc; Saéso Dézeroski 1968-

Berlin Springer New York c1997

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

7
Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

ILP-98 (Conference) (1998 Madison, Wis.) David Page 1963-

New York Springer London c1998

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

8
Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

LOPSTR 2000 (2000 London, England) K.-K Lau 1953- (Kung-Kiu)

Berlin New York Springer c2001

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

9
Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

ILP 2003 (2003 Szeged, Hungary) Tamás Horváth 1962-; Akihiro Yamamoto 1960-

Berlin Springer New York c2003

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (18)

Data de Publicação 

De até
Refinar
  1. Antes de1988  (8)
  2. 1988Até1992  (7)
  3. 1993Até1997  (13)
  4. 1998Até2003  (29)
  5. Após 2003  (25)
  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.