Lyaletski, A.V.
(Кібернетика та системний аналіз, 2021)
The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended ...