Collaborative Multi-Touch Application for Resolution in Propositional Logic

Aachen, Germany (2011) [Bachelor Thesis]

Authors

Authors

Schäfer, Andreas

Advisors

Brauner, Philipp
Leonhardt, Thiemo
Schroeder, Ulrik
Prinz, Wolfgang

Identifier

  • REPORT NUMBER: RWTH-CONV-144680