Borger, Egon. Ed. Gurevich, Yuri, Ed. Meinke, Karl. Ed.

Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 - Berlin Springer Verlag 1994 - 336 - Lecture notes in computer science ; 00832 .

3540582770


Computer
Logic

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha