skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Inteligência Artificial (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings

TPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978

Berlin Springer New York c2007

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

3
Inductive logic programming 16th international conference, ILP 2006, Santiago de Compostela, Spain August 24-27, 2006 : revised selected papers
Inductive logic programming 16th international conference, ILP 2006, Santiago de Compostela, Spain August 24-27, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 16th international conference, ILP 2006, Santiago de Compostela, Spain August 24-27, 2006 : revised selected papers

ILP 2006 (2006 Santiago de Compostela, Spain) Stephen Muggleton; Ramon Otero; Alireza Tamaddoni-Nezhad

Berlin Springer c2007

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

4
Inductive logic programming 17th international conference, ILP 2007, Corvallis OR, USA, June 19-21, 2007 : revised selected papers
Inductive logic programming 17th international conference, ILP 2007, Corvallis OR, USA, June 19-21, 2007 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 17th international conference, ILP 2007, Corvallis OR, USA, June 19-21, 2007 : revised selected papers

ILP 2007 (2007 Corvallis, Or.) Jan Ramon; Jude Shavlik; Prasad Tadepalli; Hendrik Blockeel

Berlin Springer New York c2008

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

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

6
Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedings
Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17 2007 ; proceedings

LPNMR 2007 (2007 Tempe, Ariz.) Chitta Baral; Gerhard Brewka; John Schlipf

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471a v.4483 )(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
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
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)

9
Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings
Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13 2005 : proceedings

ILP (Conference) (15th 2005 Bonn, Germany) Stefan Kramer Prof. Dr; Bernhard Pfahringer

Berlin Springer New York c2005

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

10
Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedings
Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedings

LPNMR 2005 (2005 Diamante, Italy) Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio Terracina

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

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.