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 109569
Borger E Workshop on Computer Science Logic( 1st : 1987 : Karlsruhe,FRG ) Workshop on Computer Science Logic 1st Karlsruhe, FRG 1987 Computer science logic : proceedings Berlin Springer Verlag 1987 vi,346p 3-540-50241-6 * Computer science