Collaborative Multi-Touch Application for Resolution in Propositional Logic

Schäfer, Andreas; Brauner, Philipp (Thesis advisor); Leonhardt, Thiemo (Thesis advisor); Schroeder, Ulrik (Thesis advisor); Prinz, Wolfgang (Thesis advisor)

Aachen, Germany (2011) [Bachelorarbeit]