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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha