Automated Deduction CADE-11  11th International Conference on Automated Deduction, Saratoga Springs, N. Y., USA, June 15-18, 1992  proceedings 
ed. by Deepak Kapur 
 - Berlin;  Heidelberg;  New York   Springer  1992 
 - XVI, 793 p. ; 24 cm 
 - Lecture Notes in Artificial Intelligence\\Springer\ Lecture Notes in Computer Science (LNCS)\\Springer\  607 .
<br/><br/><label>ISBN: </label>3-540-55602-8 
<br/><br/><label>Source: </label>C-182747 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrări conferințe
<br/><br/><label>Universal Decimal Class. No.: </label>004.832.3(063)