skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedings

TIDSE 2004 (2004 Darmstadt, Germany) Stefan G obel; Ulrike Spierling; Anja Hoffmann; Ido Iurgel; Oliver Schneider; Johanna Dechau; Axel Feix

Berlin Springer New York c2004

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

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. TPHOLs 2007
  2. Schneider, O
  3. Feix, A
  4. Schneider, K
  5. Spierling, U

Buscando em bases de dados remotas. Favor aguardar.