Computer science logic:   5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings 

 - Berlin:   Springer-Verlag,   1992 
 - 428p. 
<br/><br/><label>ISBN: </label>3-540-55789-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Information technology
<br/><br/><label>Subjects--Index Terms: </label>Logic in computer applications 
<br/><br/><label>Universal Decimal Class. No.: </label>D 681.3(082.2)(042.3)   / N2