European association for computer science logic, Annual conference 11 2002 Edimbourg
VIAF ID: 141052430 ( Corporate )
Permalink: http://viaf.org/viaf/141052430
Preferred Forms
Works
Title | Sources |
---|---|
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings |