Bürckert, H.-J.

A resolution principle for a logic with restricted quantifiers. - Springer Verlag, 1991. - ( Lecture Notes in Artificial Intelligence ; 568).

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