skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Inteligência Artificial (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 papers
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 papers
Material Type:
Livro 		Adicionar ao Meu Espaço

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 papers

International 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 c2004

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

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

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

4
Computational logic in multi-agent systems 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
Computational logic in multi-agent systems 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic in multi-agent systems 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers

CLIMA (Conference) (4th 2004 Fort Lauderdale, Fla.) J Dix (J urgen) 1961; Jo ao Alexandre Leite

Berlin Springer New York c2004

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

5
Web reasoning and rule systems first international conference, RR 2007, Innsbruck Austria, June 7-8, 2007 : proceedings
Web reasoning and rule systems first international conference, RR 2007, Innsbruck Austria, June 7-8, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Web reasoning and rule systems first international conference, RR 2007, Innsbruck Austria, June 7-8, 2007 : proceedings

RR 2007 (2007 Innsbruck, Austria) M Marchiori (Massimo); Jeff Z Pan; Christian de Sainte Marie

Berlin Springer New York c2007

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

6
Conceptual structures integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002 : proceedings
Conceptual structures integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002 : proceedings

International Conference on Conceptual Structures (10th 2002 Borovets, Bulgaria) Uta Priss 1967-; Dan Corbett; Galia Angelova 1955-

Berlin Springer New York c2002

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

7
Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings
Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings

International Conference on Conceptual Structures (12th 2004 Huntsville, Ala.) Karl Erich Wolff; Heather D Pfeiffer; Harry S Delugach 1953

Berlin Springer New York c2004

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

8
Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 revised selected and invited papers
Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 revised selected and invited papers

CLIMA (Conference) (7th 2006 Hakodate-shi, Japan) Katsumi Inoue; Ken Satoh 1959; Francesca Toni

Berlin Springer New York c2007

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

9
Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30 2005 : revised selected and invited papers
Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30 2005 : revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30 2005 : revised selected and invited papers

CLIMA V (2005 Lisbon, Portugal) Jo ao Alexandre Leite; Paolo Torroni

Berlin Springer New York c2005

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

10
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings
Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool UK, September 10-12, 2007 : proceedings

FroCoS 2007 (2007 Liverpool, England) Boris Konev; Frank Wolter

Berlin Springer New York c2007

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

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 (13)

Data de Publicação 

De até
Refinar
  1. Antes de1982  (1)
  2. 1982Até2001  (1)
  3. 2002Até2003  (2)
  4. 2004Até2005  (20)
  5. Após 2005  (23)
  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.