Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 2001

Detaljer

Bibliotek som har denne