Logic and computational complexity：international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Group Author: Leivant Daniel Maurice Raphael
Published: Springer,
Publication Dates: c1995.
Call Number: TP301.5-532/L832/1994/