Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:   - Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://www.mccme.ru/lifr/clkr2012/absosipov.pdf. Показаны документы 1 - 1 из 1.

1. Московские чтения по конструктивной логике и представлению знаний
... Конструктивная логика с точки зрения классической . ... О семантике рефлексивной комбинаторной логики . ... О квадратах модальных логик с дополнительными связками . ... Модальная логика K4 с градуированными прямыми и обратными модальностями . ... Логика доказательств первого порядка . ... Модальные логики топологических пространств . ... О логике инфонов с индивидными переменными . ... О некоторых интервальных модальных логиках . ... Произведения шкал Крипке и модальные логики пространств Хемминга ....
[ Сохраненная копия ]  Ссылки http://www.mccme.ru/lifr/clkr2012/program.html -- 9.9 Кб -- 23.05.2012
[ Сохраненная копия ]  Ссылки http://www.mccme.ru/poncelet/clkr2012/program.html -- 9.9 Кб -- 23.05.2012
Похожие документы


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования