Engeler, Erwin. Ed.

Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 - Berlin Springer Verlag 1981 - 245 - Lecture notes in computer science ; 00125 .

3540111603


Logic

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha