Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.)
Portrait of Death: Uncovered
  • EPUB
  • English
  • Year: 2019
  • Author: Isabel Wroth [Wroth, Isabel]
Acreditar no Futuro
  • PDF
  • Portuguese
  • Year: 2011
  • Author: Isabel Gomes
D. Pedro I - Um herói sem nenhum caráter
  • EPUB
  • Portuguese
  • Year: 2006
  • Author: Isabel Lustosa
Why We Get the Wrong Politicians
  • EPUB
  • English
  • Year: 2018
  • Author: Isabel Hardman