Computer science logic : 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

This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented togethe...

Celý popis

Podrobná bibliografie

Korporace:	Workshop on Computer Science Logic :Vienne, European Association for Computer Science Logic. Conference (Autor), Kurt Gödel Colloquium (Autor)
Další autoři:	Baaz, Matthias, 1960- (Šéfredaktor, odpovědný redaktor), Makowsky, Johann A., 1948- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 2803
Témata:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer science logic, 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, Matthias Baaz, Johann A. Makowsky (eds.), 2003, Berlin, Springer, 1 vol. (XII-590 p.), Lecture notes in computer science, 3-540-40801-0 • Computer Science Logic, Texte imprimé, 9783662185407