Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 2002

Detaljer

Bibliotek som har denne