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.)
Ein Referenzmodell zum Wertbeitrag der IT
  • PDF
  • German
  • Year: 2015
  • Author: Stefan Bartsch (auth.)
Soziologie der Landschaft
  • PDF
  • German
  • Year: 2005
  • Author: Stefan Kaufmann (auth.)