Fermüller, C. & Leitsch, A. & Tammet, T. & Zamov, N.

Resolution methods for the decision problem. - Springer Verlag, 1993. - ( Lecture Notes in Artificial Intelligence ; 679).

  1. Cote: 14872. En rayon: classement par collection.