Borger,E. et al Eds.

Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 - Berlin Springer-Verlag 1992 - 428 - Lecture notes in computer science ; 00626 .

354055789X


Computer Science Logic

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha