Siirry suoraan sisältöön
Computer Science Logic
Tallenna

Computer Science Logic

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.
Alaotsikko
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Painos
2008 ed.
ISBN
9783540875307
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
10.9.2008
Sivumäärä
513