IEEE Symposium on logic in computer science (17  2002  Copenhagen) <br/><br/>
Logic in computer science. LICS 2002. Proceedings   

 - Los Alamitos  IEEE Computer society  2002 
 - xiii, 461p.  incl. bibl. 
<br/><br/><label>ISBN: </label>0769514839 
<br/><br/><label>Dewey Class. No.: </label>005  / P021 "SER"