Logic, algebra, and computation :  International Summer School / 
directed by F. L. Bauer ... (et al.) ; edited by Friederich L. Bauer 
 - Berlin :  Springer-Verlag,  1991 
 - 485 p. ;  25 cm. 
 - NATO ASI series. Series F, Computer and systems sciences  no.79 .
<br/><br/><label>ISBN: </label>3540543155 
<br/><br/><label>LCCN: </label>91-026502 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming--Congresses<br/>Algebra--Congresses<br/>Computational complexity--Congresses