Research output

1. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом

   Research output: Contribution to journal › Article › peer-review

2. Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols

   Research output: Contribution to journal › Article › peer-review

3. Algorithms of Isomorphism of Elementary Conjunctions Checking

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (7) »