IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #1528   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:28
1528 Add to my selection
Alexander Koller, Ralph Debusmann, Malte Gabsdil and Kristina Striegnitz. Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game. In Journal of Logic, Language and Information: Special Issue on ICoS-3, Vol. 13(2):187--206, 2004. URL   Bibtex entry  google
Last modified: Wed July 20 2011 11:40:02         BibAdmin