Workshop on Computer Science Logic (9th 1995 Paderborn, Germany)
Books by Workshop on Computer Science Logic (9th 1995 Paderborn, Germany) on BookTides.