Logic in computer science. LICS 1992. Proceedings   

 - Los Alamitos  IEEE  1992 
 - xiii, 471p  incl. bibl 
<br/><br/><label>ISBN: </label>0818627379 
<br/><br/><label>Subjects--Index Terms: </label>Logic programming; IEEE Computer Society; LICS 1992 
<br/><br/><label>Dewey Class. No.: </label>005  / N921 "SER"