1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(55)'2006
  5. Method of binary decouplig of functional predicates

Method of binary decouplig of functional predicates

A. Ivanilov
Annotations languages:

The method of binary decouplig of functional predicates on the basis of facilities of theory of normalization of relation contacts, allowing to process a formula or relation not wholly, is offered, and by installments.