A Resolution Principle for a Logic with Restricted Quantifiers by Hans-J?rgen B?
67,03 €
A Resolution Principle for a Logic with Restricted Quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of constraint theory and a set of distinguishedconstraints.
Jetzt bei Ebay: