Workshop on Computer Science Logic (6th 1992 San Miniato, Italy)

1 books in the database