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]
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-144680