Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papersInternational Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany) R Berghammer (Rudolf) 1952-; Bernhard Möller 1953-; Georg Struth; International Workshop on Applications of Kleene Algebra (2nd 2003 Bad Malente, Germany)Berlin Springer London c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
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) |
|
3 |
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. |
|
4 |
Material Type: Livro
|
Computational logic in multi-agent systems 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papersCLIMA (Conference) (4th 2004 Fort Lauderdale, Fla.) J Dix (J urgen) 1961; Jo ao Alexandre LeiteBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Web reasoning and rule systems first international conference, RR 2007, Innsbruck Austria, June 7-8, 2007 : proceedingsRR 2007 (2007 Innsbruck, Austria) M Marchiori (Massimo); Jeff Z Pan; Christian de Sainte MarieBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4524 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Conceptual structures integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002 : proceedingsInternational Conference on Conceptual Structures (10th 2002 Borovets, Bulgaria) Uta Priss 1967-; Dan Corbett; Galia Angelova 1955-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2393 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedingsInternational Conference on Conceptual Structures (12th 2004 Huntsville, Ala.) Karl Erich Wolff; Heather D Pfeiffer; Harry S Delugach 1953Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 revised selected and invited papersCLIMA (Conference) (7th 2006 Hakodate-shi, Japan) Katsumi Inoue; Ken Satoh 1959; Francesca ToniBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4371 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30 2005 : revised selected and invited papersCLIMA V (2005 Lisbon, Portugal) Jo ao Alexandre Leite; Paolo TorroniBerlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.3487 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedingsFroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank WolterBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4720 ) e outros locais(Acessar) |