Normal view
MARC view
Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland), Computer science logic :, ©1995.