Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
702 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Autres contributeurs : S. Martini, M. M. Richter (eds) 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, 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992, selected papers, E. Börger, G. Jäger, H. Kleine Büning ... [et al.] (Eds), 1993, Berlin, Springer-Verlag, 1 vol. (viii- 439 p.), Lecture notes in computer science, 3-540-56992-8 • Computer Science Logic, Texte imprimé, 9783662213285 |