- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Аналитико-табличная формализация систем временной логики
Тип работы:
кандидатская
Год:
2004
Количество страниц:
115
Артикул:
203350 179 грн
Рекомендуемые диссертации
- Теория вывода в многозначных логиках
- Логика древнего Китая
- Логическая теория смысла в аналитической философии
- Теория смысла в общей интенсиональной логике : от принципа композициональности к эпистемическим установкам
- Логико-философские основания проблемы представления знаний
- Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
- Модальность и темпоральность в логике
- Логический анализ основных этапов становления теории
- Современные проблемы использования табличных методов в логике
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний