van Dalen, Dirk. Ed. Bezem, Marc. Ed.

Computer Science Logic 10th Int. Workshop, CSL'96, The Netherlands - Berlin Springer 1997 - 471 - Lecture notes in computer science ; 01258 .

3540631720

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha