Алгоритмы вывода для негативных силлогистик / Анастасия Владимировна Красненкова Интернет стиль Карточка [Статьи] Заглавие :Алгоритмы вывода для негативных силлогистикТип документа : печатный текстАвторы : Анастасия Владимировна Красненкова, АвторСтатья на странице : С. 109-115.Язык :рус.// Вестник Московского университета. Серия 7. Философия > 2 [17/07/2008] . - С. 109-115. Рубрика : философия:логикаКлючевые слова : искусственный интеллект силлогистика логика и компьютерИндексация : 87.4 Логика [Статьи] Алгоритмы вывода для негативных силлогистик [печатный текст] / Анастасия Владимировна Красненкова, Автор . - С. 109-115..// Вестник Московского университета. Серия 7. Философия > 2 [17/07/2008] . - С. 109-115. Рубрика : философия:логикаКлючевые слова : искусственный интеллект силлогистика логика и компьютерИндексация : 87.4 Логика Формальные реконструкции силлогистики Ве / И.В. Маркин Интернет стиль Карточка [Статьи] Заглавие :Формальные реконструкции силлогистики ВеТип документа : печатный текстАвторы : И.В. Маркин, АвторСтатья на странице : С. 63-73.Общие примечания : Библиогр.: с. 73.Язык :рус.// Вестник Московского университета. Серия 7. Философия > 1 [24/05/2011] . - С. 63-73. Рубрика : философия:логикаКлючевые слова : силлогистика Джон Венн логика исчисление семантика формализация погружающая операцияИндексация : 87.4 Логика [Статьи] Формальные реконструкции силлогистики Ве [печатный текст] / И.В. Маркин, Автор . - С. 63-73..Библиогр.: с. 73.// Вестник Московского университета. Серия 7. Философия > 1 [24/05/2011] . - С. 63-73. Рубрика : философия:логикаКлючевые слова : силлогистика Джон Венн логика исчисление семантика формализация погружающая операцияИндексация : 87.4 Логика
Библиотека
МУК "Централизованная библиотечная система им. Н.К. Крупской"