Всего работ:110
Сортировать по:
названию | году
101. Шалак, Владимир Иванович. Логический анализ сети интернет Год: 2008 102. Шалак, Владимир Иванович. Протологика: новый взгляд на природу логического Год: 2010 103. Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов Год: 2004 104. Шапчиц Павел Анатольевич. Интервальная временная логика и грамматические времена Год: 2010 105. ШАРКО ОЛЕГ ВІТАЛІЙОВИЧ. ЯВИЩЕ СЕМАНТИЧНОЇ НЕЯСНОСТІ: ЛОГІКО-ФІЛОСОФСЬКИЙ АНАЛІЗ Год: 2015 106. Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик Год: 2008 107. Шрамко, Ярослав Владиславович. Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики) Год: 1998 108. Шрамко, Ярослав Владиславович. Релевантные варианты интуиционистской логики Год: 1990 109. Щербина Олена Юріївна. Логічний аналіз юридичної аргументації Год: 2014 110. Яйлеткан Александр Александрович. Расширение выразительных возможностей языка современной логики Год: 2003 |