Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 2000

Detaljer

Bibliotek som har denne