Search Results       Your search for [author]Leivant, Daniel Maurice Raphael. returned 1 record.           Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers. Berlin: Springer, 1995. Subject: Logic, Symbolic and mathematical -- Congresses; Computational complexity -- Congresses.          Add to Book Cart Relevance: 33.60%