Programming Systems Lab: Publications by Malte Gabsdil

Saarland University Computer Science

Select author:

2004

Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game   (pdf)
Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz


Login to edit


Webmaster, Mon May 30 13:48:30 2016