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.115 In61(4) 113369
Voronkov Andrei International Conference on Logic Programming and Automated Reasoning( 4th : 1993 : St Petersburg ) International Conference on Logic Programming and Automated Reasoning 4th St Petersburg, 1993 Algebraic and logic programming : proceedings Berlin Springer Verlag 1993 xiii,386p 0387-569-44-8 * Automated reasoning Logic programming