Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedingsTPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4732 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedingsTIDSE 2004 (2004 Darmstadt, Germany) Stefan G obel; Ulrike Spierling; Anja Hoffmann; Ido Iurgel; Oliver Schneider; Johanna Dechau; Axel FeixBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |