Алгорифм машинного поиска естественного логического выпада в исчислении высказываний — Самарская областная универсальная научная библиотека

Алгорифм машинного поиска естественного логического выпада в исчислении высказываний [Текст] / АН СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние ; Шанин Н. А. [и др.]. - М. ; Л. : Наука, [Ленингр. отд-ние], 1965. - 39 с.

Основное заглавие: Алгорифм машинного поиска естественного логического выпада в исчислении высказываний

Ответственность: АН СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние ; Шанин Н. А. [и др.]

Физический носитель: Текст

Год публикации: 1965

Место издания: М. ; Л.

Издательство: Наука, [Ленингр. отд-ние]

Объем: 39 с.

Ключевые слова: Алгорифмы; Вычислительные машины; Математическая логика

ББК: 22.181я43