Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22 25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting...

תיאור מלא

מידע ביבליוגרפי

Collectivités auteurs:	International workshop on computer science logic :Edimbourg, European Association for Computer Science Logic. Conference (Auteur)
מחברים אחרים:	Bradfield, Julian Charles, 1964- (Directeur de la publication)
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 2471
נושאים:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	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, 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, proceedings, Julian Bradfield (ed.), Berlin, Springer, 2002, 1 vol. (XII-612 p.), Lecture notes in computer science, 3-540-44240-5 • Computer Science Logic, Texte imprimé, 9783662202746