Logical foundations of computer science- Tver' 92  Second international symposium Tver, Russia, 20-24 July, 1992 

 - London:   Springer-Verlag,   1992 
 - xix, 969p.  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer
<br/><br/><label>Subjects--Index Terms: </label>System  
<br/><br/><label>Universal Decimal Class. No.: </label>519.6(082.2)  / N2