Logic programming and automated reasoning  
/Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings  
 - Berlin:   Springer-Verlag,  1993 
 - 386p.  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming 
<br/><br/><label>Subjects--Index Terms: </label>Automated reasoning  
<br/><br/><label>Universal Decimal Class. No.: </label>519.852(082.2)   / N3