Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008 ; proceedings (Springer, 2008)
Literaturangaben