Clote, Peter G. Ed. Schwichtenberg, Helmut. Ed.
Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000 - Berlin Springer 2000 - 541 - Lecture notes in computer science ; 01862 .
3540678956
Computer Science Logic
681 LNCS
Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000 - Berlin Springer 2000 - 541 - Lecture notes in computer science ; 01862 .
3540678956
Computer Science Logic
681 LNCS