skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
GWAI-81
Material Type:
Livro
Adicionar ao Meu Espaço

GWAI-81

W. Siekmann, Jörg H. Brauer Jörg Siekmann; Jörg H Siekmann

Springer Berlin Heidelberg 1981

Acesso online

2
Life-Like Characters
Material Type:
Livro
Adicionar ao Meu Espaço

Life-Like Characters

M. Siekmann, Jörg Prendinger, Helmut Gabbay Prof. Dov Mitsuru Ishizuka

Springer Berlin Heidelberg 2004

Acesso online

3
Rough-Neural Computing
Material Type:
Livro
Adicionar ao Meu Espaço

Rough-Neural Computing

Dov M. Siekmann, Jörg Pal, Sankar K. Gabbay Lech Polkowski

Springer Berlin Heidelberg 2004

Acesso online

4
Interacting Code Motion Transformations: Their Impact and Their Complexity
Interacting Code Motion Transformations: Their Impact and Their Complexity
Material Type:
Livro
Adicionar ao Meu Espaço

Interacting Code Motion Transformations: Their Impact and Their Complexity

Oliver Rüthing Jörg Siekmann; Gerhard Goos

Springer Berlin Heidelberg 1998

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

5
CP Violation in Particle, Nuclear and Astrophysics
CP Violation in Particle, Nuclear and Astrophysics
Material Type:
Livro
Adicionar ao Meu Espaço

CP Violation in Particle, Nuclear and Astrophysics

Jaime G. Carbonell Michael Beyer; Jörg Siekmann; R Beig

Springer Berlin Heidelberg 2002

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

6
Automation of reasoning
Material Type:
Livro
Adicionar ao Meu Espaço

Automation of reasoning

Jörg H Siekmann; Graham Wrightson

Berlin New York Springer 1983

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

7
Computation for Metaphors, Analogy, and Agents
Computation for Metaphors, Analogy, and Agents
Material Type:
Livro
Adicionar ao Meu Espaço

Computation for Metaphors, Analogy, and Agents

Chrystopher L. Nehaniv Chrystopher L Nehaniv; G Goos; Jörg Siekmann

Springer Berlin Heidelberg 1999

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

8
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction (8th 1986 Oxford, England) Jörg H Siekmann

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 8. ) e outros locais(Acessar)

9
Focusing Solutions for Data Mining
Material Type:
Livro
Adicionar ao Meu Espaço

Focusing Solutions for Data Mining

Thomas Reinartz G Goos; Jörg Siekmann

Springer Berlin Heidelberg 1999

Acesso online

10
Optimal Interprocedural Program Optimization
Material Type:
Livro
Adicionar ao Meu Espaço

Optimal Interprocedural Program Optimization

Jens Knoop Gerhard Goos; Jörg Siekmann

Springer Berlin Heidelberg 1998

Acesso online

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  (6.746)
  2. Livros  (310)
  3. Artigos  (37)
  4. Reports  (10)
  5. Anais de Congresso  (6)
  6. Conjunto de Dados  (6)
  7. magazinearticle  (3)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1984  (43)
  2. 1984Até1991  (71)
  3. 1992Até2000  (824)
  4. 2001Até2009  (6.302)
  5. Após 2009  (73)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7.090)
  2. Alemão  (35)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.