|
Всего работ:110
Сортировать по:
названию | году
1. Ущаповська Ганна Володимирівна. Критичне мислення: історія та сучасний стан розвитку
Год: 2014 2. Автоматический поиск натурального вывода в классической логике предикатов
Год: 2010 3. Аналитико—табличная формализация систем временной логики
Год: 2010 4. Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике
Год: 2005 5. Антонова, Ольга Аркадьевна. Табличные исчисления в классической и неклассических логиках
Год: 1998 6. Архиереев Николай Львович. Семантики ограниченных множеств описаний состояний
Год: 2001 7. Білоус Анна Олександрівна Логіко-риторичний аналіз інтернет- дискурсу
Год: 2017 8. Бабюк Вікторія Леонідівна Поняття релевантності у неформальних дослідженнях аргументації
Год: 2020 9. Балобанов, Виталий Серафимович. Логика функций с неопределенными аргументами
Год: 1991 10. Беляев, Вадим Владимирович. Моделирование финитных ситуаций и критика финитных моделей в традиционной логике
Год: 1998 |
