Normal view
MARC view
Oxford (2005) (Genre/Form Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Workshop on Computer Science Logic (19th : 2005 : Oxford, England) 26958, Computer science logic :, 2005.