Buning, Hans Kleine. Ed.
Computer Science Logic Workshop, 9th International Conference, Germany, 1995 - Berlin Springer 1996 - 485 - Lecture notes in computer science ; 01092 .
3540613773
Computer Science Logic
681 LNCS
Computer Science Logic Workshop, 9th International Conference, Germany, 1995 - Berlin Springer 1996 - 485 - Lecture notes in computer science ; 01092 .
3540613773
Computer Science Logic
681 LNCS