Современные проблемы использования табличных методов в логике

Автор: Антонова, Ольга Аркадьевна

Тема: Современные проблемы использования табличных методов в логике

Тип работы: Дис. ... д-ра филос. наук

Справка об оригинале: Дис. ... д-ра филос. наук : 09.00.07 Антонова, Ольга Аркадьевна Современные проблемы использования табличных методов в логике : Дис. ... д-ра филос. наук : 09.00.07 СПб., 2005 346 с. РГБ ОД, 71:05-9/92

Специальность: 09.00.07

Выходные данные: Москва : ПроСофт-М, 2005

>> Заказать доставку <<

Похожие диссертации:

1. Разработка моделей, методов и средств обработки табличных документов в информационных системах

2. Современные проблемы привлечения и использования иностранных инвестиций в Республике Армения

3. Современные проблемы использования аудиторских знаний при раскрытии и расследовании преступлений

4. Современные проблемы повседневной деятельности и использования бюджета времени студенческой молодежи

5. Разработка и исследование физико-табличных математических моделей компонентов ИС

6. Решение проблемы улучшения вибрационных условий обитаемости на судах и обеспечение требований санитарных норм вибрации на основе использования и совершенствования компьютерных методов и средств численного анализа колебаний корпусных конструкций

7. Современные тенденции привлечения и использования иностранных инвестиций в Республике Узбекистан

8. Современные проблемы канадского федерализма

9. Глобализм и современные экологические проблемы

10. Современные проблемы терроризма: Криминологическое исследование