Logic and computational complexity :  International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / 
Daniel Leivant (ed.) 
 - Berlin :  Springer-Verlag,  1995 
 - 514 p. 
 - Lecture notes in computer science ;  no. 960 .
<br/><br/><label>ISBN: </label>3540601783 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational complexity--Congresses<br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>LC Class. No.: </label>QA9 A1  / L64