A Resolution Principle for a Logic with Restricted Quantifiers Lecture Notes in Computer Science, nr. 568 Autor Hans-Jürgen Bürckert 11 dec 1991 Paperback Preț: 324.31 lei 405.39 lei 6-8 săpt. -20%
