Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://www.mccme.ru/lifr/clkr2012/program.html. Показаны документы 1 - 1 из 1.
1. Московские чтения по конструктивной логике и представлению знаний
Общая информация . ... Организаторы конференции: . ... Институт проблем передачи информации . ... Конференция пройдет в Московском центре непрерывного математического образования (Большой Власьевский переулок, дом 11), в конференц-зале на 4-м этаже (к. 401). Информация о конференции "The Constructive in Logic and Applications. ... См. также http://expa12.unibe.ch/ о. конференции "Explicit Paradigms in Logic and Computer Science". ...
[
Сохраненная копия
]
Ссылки http://www.mccme.ru/lifr/clkr2012/index.html -- 3.8 Кб -- 28.05.2012
[ Сохраненная копия ] Ссылки http://www.mccme.ru/poncelet/clkr2012/index.html -- 3.8 Кб -- 28.05.2012
Похожие документы
[ Сохраненная копия ] Ссылки http://www.mccme.ru/poncelet/clkr2012/index.html -- 3.8 Кб -- 28.05.2012
Похожие документы
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда