Home Advanced Search

Advanced Search - Page 1

Aussagenlogik: Deduktion und Algorithmen
  • DJVU
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
Aussagenlogik: Deduktion und Algorithmen
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
When Last on the Mountain : The View from Writers over 50
  • EPUB
  • English
  • Year: 2011
  • Author: Vicky Lettmann; Carol Roan
A Survey of Recent Advances in SAT-Based Formal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Hans Kleine Büning, Theodor Lettmann
Complex Structure and Dynamics of the Heart
  • PDF
  • English
  • Year: 2015
  • Author: Philip Bittihn (auth.)