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...
Na minha lista:
| Autores corporativos: | , |
|---|---|
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
2471 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |