CSL 2007 (2007 : Lausanne, Switzerland)
Workshop on Computer Science Logic (21. : 2007 : Lausanne, Švýcarsko)
VIAF ID: 162788027 ( Corporate )
Permalink: http://viaf.org/viaf/162788027
Preferred Forms
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Computer science logic, c2007: | |
CSL 2007 |