Формальные и неформальные методы логического вывода заключений из посылок, включая прямой и обратный вывод.


4 публикаций

Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.

РАЗРАБОТКА СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ ВРАЧЕБНЫХ РЕШЕНИЙ ПРИ НАЗНАЧЕНИИ ЛЕЧЕНИЯ ПАЦИЕНТУ
РАЗРАБОТКА И ИССЛЕДОВАНИЕ МЕТОДОВ ПРОЕКТИРОВАНИЯ РЕКОНФИГУРИРУЕМЫХ СИСТЕМ ВВОДА-ВЫВОДА В СРЕДЕ LABVIEW НА БАЗЕ СТАНЦИИ ELVIS
Анализ механизмов расследования преступлений по выводу финансовых активов за рубеж
Экспериментальные методы в экономике: выводы для юридической науки