Collaborative Multi-Touch Application for Resolution in Propositional Logic

Aachen, Germany (2011) [Bachelorarbeit]

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Schäfer, Andreas

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-144680