Цитата из книги «Искусственный интеллект и Большие Данные. Без хайпа и наукообразия»

В 1964 году Сергей Маслов опубликовал работу «Обратный метод установления выводимости в классическом исчислении предикатов»,