Collaborative Multi-Touch Application for Resolution in Propositional Logic

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

Aachen, Germany (2011) [Bachelorarbeit]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-144680