|Web Library Publication Searh||Русский|
|Khelemendik Roman Viktorovich|
Title: On the eight-dimensionality of the space of chess positions and their translation into control systems
Title: On the logic-game approach to the problems of working with big data
Authors: , Pranichnikov V. E., Sivakova T. V.
Title: On the extension of the methodology IGEC and its applications in the problems of intelligent robotronics
Title: An algorithm for determining satisfiability formulae of computation tree logic and an effective algorithm for constructing inferences of valid formulas from axioms