Computer Science Logic : 12th International Workshop, CSL '98 : Annual Conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings - Workshop on Computer Science Logic 1998 : Brno, Česko); Gottlob, Georg, 1956-; Grandjean, Etienne; Seyr, Katrin (Berlin : Springer, 1998)
Keywords: výpočetní technika; computer science; sborníky konferencí; proceedings of conferences