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
@Article{Koller_et_al:2004,
      AUTHOR = {Koller, Alexander and Debusmann, Ralph and Gabsdil, Malte and Striegnitz, Kristina},
      TITLE = {Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game},
      YEAR = {2004},
      JOURNAL = {Journal of Logic, Language and Information: Special Issue on ICoS-3},
      VOLUME = {13},
      NUMBER = {2},
      PAGES = {187--206},
      URL = {http://www.coli.uni-sb.de/~kris/papers/kluwer2004.ps.gz}
}
Last modified: Wed July 20 2011 11:40:02         BibAdmin