Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
5.131 W926(4) 112070
Borger E Workshop on Computer Science Logic( 4th : 1990 : Heidelberg ) Workshop on Computer Science Logic 4th Heidelberg, 1990 Computer science logic : proceedings Berlin Springer Verlag 1991 viii,399p 3-540-54487-9 * Computer science