"Computer Science Logic, 9th International Workshop, CSL '95, Annual ..."

Hans Kleine Büning (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics