Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 2003

Detaljer

Bibliotek som har denne