Зведений каталог бібліотек Харкова
Крупко, Н. А. Об одной автоматической системе логического вывода [Текст] / Н.А. Крупко // Программирование. — 1978. — С. 28-40.
- Анотація:
Демонстрируется практический подход к построение системы логического ввода, при котором ввод строится с привлечение знаний пользователя о направлении поиска, причем указания о способе поиска включаются в структуру доказываемого утверждения.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 1978.
- Теми документа
