Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.285(063)<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
Deontic logic in computer science/eds. G. Governatori, G. Sartor. - 2010
2.
Infinity in logic and computation/ed. M. Archibald [et al.]. - 2009
3.
Relations and kleene algebra in computer science/SpringerLink (Online service). - 2008
4.
Relations and kleene algebra in computer science/ed. R. Berghammer [et al.]. - 2009
5.
Relations and kleene algebra in computer science/SpringerLink (Online service). - 2006
6.
Typed lambda calculi and applications/ed. P. Curien. - 2009
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)