Collaborative Multi-Touch Application for Resolution in Propositional Logic

Aachen, Germany (2011) [Bachelor Thesis]

Authors

Selected Authors

Schäfer, Andreas

Identifier

  • REPORT NUMBER: RWTH-CONV-144680