Tallenna
Logical Foundations of Computer Science
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee.
- Alaotsikko
- International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
- Toimittaja
- Sergei Artemov, Anil Nerode
- Painos
- 2009 ed.
- ISBN
- 9783540926863
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 18.12.2008
- Sivumäärä
- 469
