Красненкова, А. В.     Алгоритмы вывода для негативных силлогистик [] / А. В. Красненкова // Вестник Московского университета. Сер. 7, Философия : науч. журн. - 2008. - N 2. - С. 109-115. - Примеч.: с.115 . - ISSN 0130-0091 Рубрики: Логіка    Штучний інтелект     Держатели документа: ЖОУНБ Имеются экземпляры в отделах: всего 1 : ПЧЗ (1) Свободны: ПЧЗ (1)