Библиотека на Университет по архитектура, строителство и геодезия

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Каталог "Книги" | Книги

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

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

Детайли

Издателство
Наука
Местоиздаване
Москва и др.
Година на издаване
1965
Страници
40 с.
Класификационен индекс
УДК Значение
ОА85 ОА85 --> от ISIS без текст
Отрасъл
Математ. науки. ЕИМ
Инвентаризация
Статус Брой
Централна библиотека-хранилище 1

Действия