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
Refinado por: assunto: Programmation Logique remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Program development in computational logic a decade of research advances in logic-based program development
Program development in computational logic a decade of research advances in logic-based program development
Material Type:
Livro 		Adicionar ao Meu Espaço

Program development in computational logic a decade of research advances in logic-based program development

M Bruynooghe (Maurice); K.-K Lau (Kung-Kiu) 1953

Berlin Springer New York c2004

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

2
Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

LOPSTR 2004 (2004 Verona, Italy) Sandro Etalle

Berlin Springer New York c2005

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

3
Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings

International Conference on Logic Programming (21st 2005 Sitges, Spain) Maurizio Gabbrielli; G Gupta (Gopal) 1963

Berlin Springer New York 2005

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

4
Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers

LOPSTR 2003 (2003 Uppsala, Sweden) M Bruynooghe (Maurice)

Berlin Springer New York c2004

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

5
Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

LOPSTR 2005 (2005 London, England) Patricia Hill 1942

Berlin Springer New York c2006

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

6
Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005
Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005

LPAR (Conference) Geoff Sutcliffe; A Voronkov (Andre i) 1959

Berlin Springer Great Britain 2005

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

7
Recent advances in constraints joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22 2005 : revised selected and invited papers
Recent advances in constraints joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22 2005 : revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent advances in constraints joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22 2005 : revised selected and invited papers

Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2005 Uppsala, Sweden) Mats Carlsson; François Fages; Francesca Rossi; Brahim Hnich; European Research Consortium for Informatics and Mathematics; CoLogNET

Berlin Springer New York c2006

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

8
Recent advances in constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers
Recent advances in constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent advances in constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers

Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 Budapest, Hungary) Krzysztof R Apt 1949; François Fages; Francesca Rossi; Péter Szeredi; József Váncza 1960-; European Research Consortium for Informatics and Mathematics; CoLogNET

Berlin Springer New York c2004

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

9
Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings
Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings

ILP (Conference) (15th 2005 Bonn, Germany) Stefan Kramer Prof. Dr; Bernhard Pfahringer

Berlin Springer New York c2005

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

10
Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings
Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 proceedings

International Symposium on Functional and Logic Programming Yukiyoshi Kameyama; Peter J Stuckey

Berlin Springer New York 2004

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.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1989  (11)
  2. 1989Até1994  (18)
  3. 1995Até1999  (18)
  4. 2000Até2005  (61)
  5. Após 2005  (41)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (113)
  2. Francês  (1)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.