АЛГОРИФМ машинного поиска естественного логического вывода в исчислении высказываний

Н. А. Шанин и др

В8719

Издателство

Наука

Местоиздаване

Москва и др.

Година на издаване

1965

Страници

40 с.

Класификационен индекс

УДК	Значение
ОА85	ОА85 --> от ISIS без текст

Отрасъл

Математ. науки. ЕИМ

Инвентаризация

Статус	Брой
Централна библиотека-хранилище	1

, Н. А. Шанин и др АЛГОРИФМ машинного поиска естественного логического вывода в исчислении высказываний, Наука, 1965, 40 с..

, Н. А. Шанин и др. АЛГОРИФМ машинного поиска естественного логического вывода в исчислении высказываний. Москва и др.: Наука, 1965, 40 с..

, Н. А. Шанин и др (1965) АЛГОРИФМ машинного поиска естественного логического вывода в исчислении высказываний, Москва и др.: Наука, 40 с.