Spar
Logical Foundations of Computer Science
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.
The volume presents 42 revised refereed papers carefully selected by the program committee.
- Undertittel
- 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
- Redaktør
- Sergei Adian, Anil Nerode
- Opplag
- 1997 ed.
- ISBN
- 9783540630456
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 28.5.1997
- Antall sider
- 436
