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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.285(063)<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
510(063)/D43-693858

   
    Deontic logic in computer science [Electronic resource] : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / eds. G. Governatori, G. Sartor. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6181). - ISBN 978-3-642-14183-6 : Б. ц.

ГРНТИ
50.07
УДК
510.285(063)

Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- конференции

См. : Текст издания

Доп.точки доступа:
Governatori, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
510(063)/H99-186383

   
    Infinity in logic and computation [Electronic resource] : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / ed. M. Archibald [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5489). - ISBN 978-3-642-03092-5 : Б. ц.

ГРНТИ
27.03.19
50.07
УДК
510.285(063)

Кл.слова (ненормированные):
бесконечность -- логика -- вычисления -- конференции

См. : Текст издания

Доп.точки доступа:
Archibald, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
004-027.21(063)/R41-498017

   
    Relations and kleene algebra in computer science [Electronic resource] : 10th international conference on relational methods in computer science, and 5th international conference on applications of kleene algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / SpringerLink (Online service) ; eds. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4988). - ISBN 978-3-540-78913-0 : Б. ц.

ГРНТИ
50.07
УДК
510.285(063)
Рубрики: Математическая логика--Применение в вычислительной технике--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
510.285(063)
R41

   
    Relations and kleene algebra in computer science [Electronic resource] : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applications of kleene algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. : proceedings / ed. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5827). - ISBN 978-3-642-04639-1 : Б. ц.

ГРНТИ
50.07
УДК
510.285(063)

Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- алгебра Клини -- конференции

См. : Текст издания

Доп.точки доступа:
Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
512.55(063)/R41-924197

   
    Relations and kleene algebra in computer science [Electronic resource] : 9th international conference on relational methods in computer science and 4th international workshop on applicationsof kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / SpringerLink (Online service) ; ed. R. Schmidt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4136). - ISBN 978-3-54037-874-7 : Б. ц.

ГРНТИ
50.07
УДК
510.285(063)
Рубрики: Математическая логика--Применение в вычислительной технике--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Schmidt, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
510.6(063)/T99-338528

   
    Typed lambda calculi and applications [Electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / ed. P. Curien. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5608). - ISBN 978-3-642-02273-9 : Б. ц.

ГРНТИ
27.03.19
УДК
510.285(063)

Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- конференции

См. : Текст издания

Доп.точки доступа:
Curien, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)