skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
KI 2001 advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings
KI 2001 advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

KI 2001 advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings

Joint German/Austrian Conference on Artificial Intelligence (2001 : Vienna, Austria) Franz Baader; Gerhard Brewka; Thomas Eiter 1966-

Berlin Springer New York c2001

Localização: IFSC - Inst. Física de São Carlos    (P 001.5 L471 v.2174 ) e outros locais(Acessar)

2
Description Logic Handbook: Theory, implementation, and applications
Description Logic Handbook: Theory, implementation, and applications
Description Logic Handbook: Theory, implementation, and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Description Logic Handbook: Theory, implementation, and applications

Franz Calvanese, Diego McGuinness, Deborah L. Baader Franz Baader; Diego Calvanese; Deborah L McGuinness; Daniele Nardi; Peter F Patel-Schneider

Cambridge Cambridge University Press 2007

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

3
Automated Deduction – CADE-19
Automated Deduction – CADE-19
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction – CADE-19

International Conference on Automated Deduction Franz Baader

Springer Berlin Heidelberg 2003

Acesso online

4
Term rewriting and all that
Term rewriting and all that
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and all that

Franz Baader Tobias Nipkow

Cambridge University Press 1998

Acesso online

5
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

International Conference on Automated Deduction (19th 2003 Miami Beach, Fla.) Franz Baader

Berlin Springer New York 2003

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

6
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings

International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz Baader

Berlin Springer New York c2007

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

7
The description logic handbook theory, implementation, and applications
The description logic handbook theory, implementation, and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

The description logic handbook theory, implementation, and applications

Franz Baader; Diego Calvanese; Deborah L McGuinness; D Nardi; Peter F Patel-Schneider

Cambridge Cambridge University Press 2010

Localização: IME - Inst. Matemática e Estatística    (QA860.C3 B111d )(Acessar)

8
KI 2001: Advances in Artificial Intelligence
KI 2001: Advances in Artificial Intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

KI 2001: Advances in Artificial Intelligence

Joint German /Austrian Conference on Artificial Intelligence Franz Baader; Gerhard Brewka; Thomas Eiter

Springer Berlin Heidelberg 2001

Acesso online

9
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Baader, Franz Baader, Franz

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
10
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings

Baader, Franz ; Brewka, Gerhard ; Eiter, Thomas Brewka, Gerhard ; Eiter, Thomas ; Baader, Franz

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (208)
  2. Dissertações  (104)
  3. Artigos  (99)
  4. Livros  (51)
  5. Anais de Congresso  (42)
  6. Reports  (23)
  7. Web Resources  (7)
  8. Conjunto de Dados  (5)
  9. magazinearticle  (4)
  10. Resenhas  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1959  (38)
  2. 1959Até1994  (16)
  3. 1995Até2003  (124)
  4. 2004Até2013  (165)
  5. Após 2013  (83)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (500)
  2. Alemão  (42)
  3. Japonês  (4)
  4. Francês  (3)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.