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
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Material Type:
Livro 		Adicionar ao Meu Espaço

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) W Bibel 1938-; Robert Kowalski

Berlin Springer-Verlag New York 1980

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

2
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Material Type:
Livro 		Adicionar ao Meu Espaço

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W Loveland

Berlin Springer-Verlag New York 1982

Localização: IME - Inst. Matemática e Estatística    (S L471c v.138 )(Acessar)

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

4
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction (18th 2002 Copenhagen, Denmark) A Voronkov 1959- (Andreæi)

Berlin Springer New York c2002

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

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

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

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
Inductive logic programming 14th International Conference, ILP 2004, Porto Portugal, September 6-8, 2004 : proceedings
Inductive logic programming 14th International Conference, ILP 2004, Porto Portugal, September 6-8, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 14th International Conference, ILP 2004, Porto Portugal, September 6-8, 2004 : proceedings

ILP 2004 (2004 Porto, Portugal) Rui Camacho; Ross King (Ross Donald); Ashwin Srinivasan

Berlin Springer New York c2004

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

9
Logic programming and nonmonotonic reasoning 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Logic programming and nonmonotonic reasoning 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

LPNMR 2004 (2004 Fort Lauderdale, Fla.) Vladimir Lifschitz; Ilkka Niemelä 1961-

Berlin Springer New York c2004

Localização: IME - Inst. Matemática e Estatística    (S L471a v.2923 )(Acessar)

10
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings

IJCAR 2004 (2004 Cork, Ireland) David Basin; Micha el Rusinowitsch

Berlin Springer New York c2004

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.   

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.