Logical foundations of computer science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6 12, 1997 : proceedings
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of compu...
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
1234 |
| 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: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical foundations of computer science, 4th international symposium, LFCS ±97, Yaroslavl, Russia, July 1997, proceedings, Sergei Adian, Anil Nerode (eds.), 1997, Berlin, Springer, 1 vol. (IX-429 p.), Lecture notes in computer science, 3-540-63045-7 • Logical Foundations of Computer Science, Texte imprimé, 9783662202043 |