European association for computer science logic (12 ; 2003 ; Vienne)

17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Description matérielle : XII-590 p.
Description : Note : Bibliogr. en fin de chapitre. Index
Édition : Berlin : Springer , cop. 2003
Auteur du texte : Kurt Gödel Colloquium (08 ; 2003 ; Vienne), Workshop on computer science logic (17 ; 2003 ; Vienne)
Éditeur scientifique : Matthias Baaz, Johann A Makowsky