Resolution methods for the decision problem 
C. Fermüller, A. Leitsch, T. Tammet, N. Zamov 
 - Berlin   Springer-Verlag  1993 
 - 185 p. ; 25 cm 
 - Lecture Notes in Artificial Intelligence\\Springer\  679 .
<br/><br/><label>ISBN: </label>3-540-56732-1 
<br/><br/><label>Source: </label>C-182488 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> documentație
<br/><br/><label>Universal Decimal Class. No.: </label>4.83