Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game
Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina StriegnitzVolume:
13
Language:
english
Pages:
20
DOI:
10.1023/b:jlli.0000024734.80591.30
Date:
March, 2004
File:
PDF, 148 KB
english, 2004