Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papersCSLP 2004 (2004 Roskilde, Denmark) Henning Christiansen 1955; Peter Rossen Skadhauge; J rgen VilladsenBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lecturesHubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2002 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Programming with constraints an introductionKim Marriott Peter J StuckeyCambridge, Mass. MIT Press c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 M359pc e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Constraint satisfaction in logic programmingPascal Van HentenryckCambridge, Mass. MIT Press c1989Localização: IME - Inst. Matemática e Estatística (QA754 V255c )(Acessar) |
|
5 |
Material Type: Livro
|
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 papersInternational 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 LogicBerlin Springer Great Britain c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Recent advances in constraints joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papersInternational Workshop on Constraint Solving and Constraint Logic Programming (2002 Cork, Ireland) B O'Sullivan (Barry)Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2627 )(Acessar) |
|
7 |
Material Type: Livro
|
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 papersERCIM 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 MathematicsBerlin Springer-Verlag New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4651 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
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 papersJoint 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; CoLogNETBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.3978 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
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 papersJoint 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; CoLogNETBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
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 papersInternational 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 c2005Acesso online. A biblioteca também possui exemplares impressos. |