Andreas Humenberger

 
  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Computer Algebra, Proof Theory, Automated Deduction

Current Position


Education


Publications