Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysErk, KatrinHenz, MartinKaminski, MarkKornstaedt, LeifKuhlmann, MarcoMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasScheidhauer, RalfSchulte, ChristianSchwinghammer, JanSmolka, GertStraßburger, LutzTack, GuidoTreinen, RalfWalser, JoachimWürtz, Jörg
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
