European association for computer science logic 12 2003 Vienne
VIAF ID: 129334838 ( Corporate )
Permalink: http://viaf.org/viaf/129334838
Preferred Forms
Works
Title | Sources |
---|---|
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 |