Predicate Logic with Definitions - Victor Makarov (CoRR, 1999)

Failures detection at directional drilling using real-time analogues search. - Ekaterina Gurina; Nikita Klyuchnikov; Alexey Zaytsev 002; Evgenya Romanenkova; Ksenia Antipova; Igor Simon; Victor Makarov; Dmitry A. Koroteev (CoRR, 2019)