Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings (Springer, 2000)
Literaturangaben