skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming with constraints an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Programming with constraints an introduction

Kim Marriott Peter J Stuckey

Cambridge, Mass. MIT Press c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68T10.05 M359pc e.1 ) e outros locais(Acessar)

2
Constraint satisfaction in logic programming
Material Type:
Livro
Adicionar ao Meu Espaço

Constraint satisfaction in logic programming

Pascal Van Hentenryck

Cambridge, Mass. MIT Press c1989

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

3
Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papers
Material Type:
Livro
Adicionar ao Meu Espaço

Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papers

CSLP 2004 (2004 Roskilde, Denmark) Henning Christiansen 1955; Peter Rossen Skadhauge; J rgen Villadsen

Berlin Springer New York c2005

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

4
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures

Hubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)

Berlin Springer New York c2001

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

5
Recent advances in constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004 : Lausanne, Switzerland, June 23-25 2004 : 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 2004 : Lausanne, Switzerland, June 23-25 2004 : revised, selected and invited papers

International Workshop on Constraint Solving and Constraint Logic Programming (2004 Lausanne, Switzerland) Adrian Petcu; François Fages; Francesca Rossi; Boi Faltings; European Research Consortium for Informatics and Mathematics; European Network on on Computational Logic

Berlin Springer Great Britain c2005

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

6
Recent advances in constraints joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : 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, Cork, Ireland, June 19-21, 2002 : selected papers

International Workshop on Constraint Solving and Constraint Logic Programming (2002 Cork, Ireland) B O'Sullivan (Barry)

Berlin Springer New York c2003

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

7
Recent advances in constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2006, Caparica, Portugal, June 26-28, 2006 revised selected and invited papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent advances in constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2006, Caparica, Portugal, June 26-28, 2006 revised selected and invited papers

ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th 2006 Caparica, Portugal) Pedro Barahona; François Fages; Francesca Rossi; Francisco Azevedo; European Research Consortium for Informatics and Mathematics

Berlin Springer-Verlag New York c2007

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

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

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

10
Applications of declarative programming and knowledge management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Applications of declarative programming and knowledge management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers

International Conference on Applications of Declarative Programming and Knowledge Management (15th 2004 Potsdam, Germany) Michael Hanus; Ulrich Geske; Oskar Bartenstein; Dietmar Seipel; International Workshop on Logic Programming (18th 2004 Potsdam, Germany)

Berlin Springer New York c2005

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Data de Publicação 

De até
  1. Antes de1998  (1)
  2. 1998Até2000  (1)
  3. 2001Até2002  (1)
  4. 2003Até2004  (2)
  5. Após 2004  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.