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 112535
Borger E Workshop on Computer Science Logic( 5th : 1991 : Switzerland ) Workshop on Computer Science Logic 5th , Switzerland 1991 Computer science logic : proceedings Berlin Springer Verlag 1992 viii,428p 3-540-53789-X * Computer science