Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz. Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. Journal of Logic, Language and Information, 13(2):187-206, 2004. [doi]

This author has not been identified. Look up 'Alexander Koller' in GoogleThis author has not been identified. Look up 'Ralph Debusmann' in GoogleThis author has not been identified. Look up 'Malte Gabsdil' in GoogleThis author has not been identified. Look up 'Kristina Striegnitz' in Google

runs on WebDSL