Forschungstreffen 98411
JELIA '98: Journées Européens de la Logique Artificielle
( 12. Oct – 15. Oct, 1998 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/98411
Organisator
- J. Dix (Koblenz)
Kontakt
Impacts
- A matrix characterization for multiplicative exponential linear logic : article : S. 121-166 - Kreitz, Christoph; Mantel, Heiko - Boston : Kluwer, 2004 - (Journal of automated reasoning : 32. 2004, 2). DOI: 10.1023/B:JARS.0000029976.22387.ac.
- Logics in artificial intelligence : European workshop, Dagstuhl, Germany, October 12 - 15, 1998, proceedings = JELIA 98 - Dix, Jürgen; Farinas del Cerro, Luis; Furbach, Ulrich - Berlin : Springer, 1998. - X, 390 S - (Lecture notes in artificial intelligence; 1489). ISBN: 3-540-65141-1.
- Sixth European Workshop on Logics in Artificial Intelligence (JELIA ’98) : Dagstuhl, Germany, 12 – 15 October 1998 : article : pp. 237-240 - Stol, Maarten - Amsterdam : IOS Press, 1998 - (AI Communcations : 11. 1998, 3/4 : pp. 237-240).