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

3
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

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

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

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

9
Mecanismos do sistema peróxi-oxalato em meios aquosos e da quimiluminescência de 1,2-dioxetanonas
Mecanismos do sistema peróxi-oxalato em meios aquosos e da quimiluminescência de 1,2-dioxetanonas
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Mecanismos do sistema peróxi-oxalato em meios aquosos e da quimiluminescência de 1,2-dioxetanonas

Bartoloni, Fernando Heering

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Química 2010-10-27

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

10
Desvendando a alta eficiência do sistema peroxioxalato
Desvendando a alta eficiência do sistema peroxioxalato
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Desvendando a alta eficiência do sistema peroxioxalato

Augusto, Felipe Alberto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Química 2016-12-16

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (188)
  2. Book Chapters  (52)
  3. Anais de Congresso  (43)
  4. Livros  (17)
  5. Produções Acadêmicas  (2)
  6. Resenhas  (2)
  7. Imagens  (1)
  8. Conjunto de Dados  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (10)
  2. 1986Até1995  (21)
  3. 1996Até2003  (109)
  4. 2004Até2012  (105)
  5. Após 2012  (69)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (266)
  2. Português  (36)
  3. Japonês  (7)
  4. Alemão  (6)
  5. Francês  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Baader, W
  2. Bartoloni, F
  3. Ciscato, L
  4. Augusto, F
  5. Bastos, E

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Exact Sciences And Technology
  5. Applied Sciences

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

Buscando em bases de dados remotas. Favor aguardar.