Salwicki, A., Ed.

Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980 - Berlin Springer-Verlag - Lecture notes in computer science ; 00148 .

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha