518 А 456 Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / Н. А. Шанин [и др.] ; Академия наук СССР, Математический институт им. В. А. Стеклова. - Москва ; Ленинград : Наука, 1965. - 39 с. -
Кл.слова (ненормированные): Математическая кибернетика Доп.точки доступа: Шанин, Николай Александрович; Давыдов, Геннадий Валентинович; Маслов, Сергей Юрьевич; Минц, Григорий Ефроимович; Оревков, Владимир Павлович; Слисенко, Анатоль Олесьевич; Академия наук СССР; Математический институт им. В. А. Стеклова Экземпляры всего: 1 Х (1) Свободны: Х (1) |