Fribourg, Laurent. Ed.

Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001 - Berlin Springer 2001 - 614 - Lecture notes in computer science ; 02142 .

3540425543


Computer Science Logic

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha