Gottlob, Georg Grandjean, Etienne Seyr, Katrin Eds.
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings - Berlin Springer 1999. - xv, 429 - Lecture notes in computer science ; 01584 .
3540659226
Computer logic
Congresses.
681 LNCS
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings - Berlin Springer 1999. - xv, 429 - Lecture notes in computer science ; 01584 .
3540659226
Computer logic
Congresses.
681 LNCS