نتائج البحث
الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
- модальная логика
- логика 6
- математическая логика 4
- семантика 4
- арифметические функции 3
- интуиционистская логика 3
- комбинаторная логика 3
- логические функции 3
- логическое программирование 3
- модель крипке 3
- учебные пособия 3
- чистое исчисление 3
- Visual Prolog 2
- Логика 2
- Логика формальная 2
- аргументация 2
- высказывания 2
- доказательства 2
- классификация 2
- логические системы 2
- логический анализ 2
- математика 2
- методология 2
- определение 2
- понятия 2
- программы 2
- реализация функций 2
- символическая логика 2
- структурные имплицитные модели 2
- труды учёных ТПУ 2
-
1
Логическое программирование и моделирование систем учебное пособие
منشور في Томск, Изд-во ТПУ, 2008كتاب -
2
-
3
Использование модальной логики для проектирования оболочек экспертных систем
منشور في 2005احصل على النص الكامل
الكتروني فصل الكتاب -
4
-
5
-
6
Логическое программирование и моделирование систем учебное пособие электронный ресурс
منشور في Томск, Изд-во ТПУ, 2008احصل على النص الكامل
الكتروني كتاب -
7
Современная логика и методология науки сборник научных статей
منشور في Москва, Изд-во МГУ, 1987كتاب -
8
Ошибки управления. Психологические причины. Метод автоматизированного анализа
منشور في Таллин, Валгус, 1985كتاب -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Достоверный и правдоподобный вывод в интеллектуальных системах
منشور في Москва, Физматлит, 2004كتاب -
18
-
19
-
20
Значение и необходимость. Исследование по семантике и модальной логике пер. с англ.
منشور في Москва, Изд-во иностранной литературы, 1959كتاب