Logic of programs : proceedings - Parikh Rohit; Workshop on Logic Programs( 1985 : Brooklyn ); Workshop on Logic Programs Brooklyn, 1985 (Berlin Springer Verlag, 1981)
Keywords: Computer science; Logic programming