|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 гсборник
- Год издания: 2008
- Серия: Современная логика
- Место издания: СПбГУ СПб
- Сборник тезисов
- Добавил в систему: Смирнова Елена Дмитриевна
Статьи, опубликованные в сборнике
-
-
- 2008 Вариант классического натурального исчисления высказываний с упрощенной процедурой поиска вывода
- Маркин В.И.
- в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы
-
- 2008 Из истории секвенциальных логик
- Кузичев А.С.
- в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы, с. 435-436
-
- 2008 О количественных оценках языков и аксиоматик обобщенных теорий
- Шиян Т.А.
- в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы, с. 323-325
-
- 2008 Принципы построения систем семантических категорий различного типа
- Смирнова Е.Д.
- в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы
-
- 2008 Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания
- Рыбаков М.Н.
- в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г, серия Современная логика, место издания СПбГУ СПб, тезисы, с. 443-444