Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
модальна логіка
UDC 004.42:510.69
1
logical consequence sequent calculus
1
modal logic
1
partial predicate
1
УДК 004.42:510.69
1
логическое следствие
1
логічний наслідок
1
модальная логика
1
моделі знань
1
секвенциальное исчисление
1
секвенційне числення
1
системи підтримки прийняття рішень
1
частичный предикат
1
частковий предикат
1
-
1
-
2