Koller, Alexander; Debusmann, Ralph; Gabsdil, Malte; Striegnitz, Kristina Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game. (English) Zbl 1074.68624 J. Logic Lang. Inf. 13, No. 2, 187-206 (2004). MSC: 68T50 68T15 PDFBibTeX XMLCite \textit{A. Koller} et al., J. Logic Lang. Inf. 13, No. 2, 187--206 (2004; Zbl 1074.68624) Full Text: DOI
Debusmann, Markus; Kroeger, Reinhold Widening traditional management platforms for managing CORBA applications. (English) Zbl 0984.68754 Zieliński, Krzysztof (ed.) et al., New developments in distributed applications and interoperable systems. IFIP TC6/ WG6.1 3rd international working conference, Kraków, Poland, September 17-19, 2001. Boston: Kluwer Academic Publishers. 245-256 (2001). MSC: 68U99 68M14 PDFBibTeX XMLCite \textit{M. Debusmann} and \textit{R. Kroeger}, in: New developments in distributed applications and interoperable systems. IFIP TC6/ WG6. 1 3rd international working conference, Kraków, Poland, September 17--19, 2001. Boston: Kluwer Academic Publishers. 245--256 (2001; Zbl 0984.68754)