Computer science logic: 13th international workshop, csl'99, 8th annual conference of the eacsl, madrid, spain, september 20-25, 1999, proceedings
Auteur :
Flum, Jorg
ISBN :
9783540665366
Date de publication :
8 sept. 1999
Dimensions :
23,4 x 15,6 x 3,0 cm
Poids :
830 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These are the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The papers are organized in sections.