Logic of programs : proceedings - Engeler Erwin; Workshop on Logic Programs( 1981 : N Y ); Workshop on Logic Programs N Y, 1981 (Berlin Springer Verlag, 1981)
Keywords: Computer science; Logic programming