IEEE Symposium om logic in computer science (11  1996  New Brunswick) <br/><br/>
Logic in computer science. LICS 1996. Proceedings   

 - Los Alamitos  IEEE  1996 
 - xv, 535p.  incl. bibl. 
<br/><br/><label>ISBN: </label>0780336542 
<br/><br/><label>Dewey Class. No.: </label>005  / N96 "SER"