Харвестер відкритої науки НАН України

Статті 17 8 логічний наслідок 8 logical consequence 7 секвенційне числення 7 logic 6 UDC 004.42:510.69 5 partial predicate 5 sequent calculus 5 Применение методов и средств моделирования 5 УДК 004.42:510.69 5 логіка 5 логика 4 логическое следствие 4 предикат 4 секвенциальное исчисление 4 частковий предикат 4 UDC 004.94 3 predicate 3 Интеллектуальные системы планирования, управления, моделирования и принятия решений 3 Кибернетика 3 Короткі повідомлення 3 Обучающие и экспертные системы 3 Системний аналіз 3 УДК 004.94 3 фрактал 3 002 2 13B25 2 13J05 2 159.95 2