Университет по архитектура, строителство и геодезия
Библиотека - lib1@uacg.bg

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

Книги

Периодика

Статии

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

Търсене в

Подредба

Чети онлайн

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

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

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

В8719

Детайли

Издателство

Наука

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

Москва и др.

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

1965

Страници

40 с.

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

УДК	Значение

Допълнителна информация

Системен №: 18072

Действия