Параллельная реализация логических рассуждений
Вантажиться...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
DOI
Анотація
Formalization of inference method in propositional calculus and predicate calculus is considered and new interpretation categorical syllogism is given. Hardwarily implementation inference by means programmed systolic structure is proposed
Опис
Ключові слова
УДК
Тип документа
Мова
Є частиною
ISSN
Бібліографічний опис
Семеренко В. П. Параллельная реализация логических рассуждений [Текст] / В. П. Семеренко // Сборник научных трудов Международной конференции «Знания – Диалог – Решение» (KDS-95), Украина, Ялта, 9-14 октября, 1995. - 1995. - Т. 1. – C. 141-150.