Search Results       Your search for [author]Plotkin, Gordon. returned 1 record.           Logical environments. New York: Canridge University Press, 1993. Subject: Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses.          Add to Book Cart Relevance: 17.41%