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

Базы данных


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

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

   
    Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / eds.: I. Miguel, W. Ruml. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4612). - ISBN 978-3-540-73580-9 : Б. ц.

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

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

Доп.точки доступа:
Miguel, I. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
510.6(063)
C74

   
    Computation and logic in the real world [Electronic resource] : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings / ed. S. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4497). - ISBN 978-3-540-73001-9 : Б. ц.

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

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

Доп.точки доступа:
Cooper, S.B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
510(063)/C74-972354

   
    Computer science logic [Electronic resource] : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, Sept. 7-11, 2009: proceedings / ed.: E. Grädel, R. Kahle. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5771). - ISBN 978-3-642-04027-6 : Б. ц.

ГРНТИ
27.03.19
50.01.13
УДК
510.6(063)
004(063)

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

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

Доп.точки доступа:
Grädel, E. \ed.\; Kahle, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
510.6(063)
C74

   
    Computer science logic [Electronic resource] : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / ed. J. Duparc, T. A. Henzinger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4646). - ISBN 978-3-540-74915-8 : Б. ц.

ГРНТИ
27.03.19
50.01.13
УДК
510.6(063)
004(063)
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Duparc, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
510.6(063)
C74

   
    Computer science logic [Electronic resource] : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006: proceedings / ed. Z. Esik. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4207). - ISBN 978-3-540-45459-5 : Б. ц.

ГРНТИ
27.03.19
50.01.13
УДК
510.6(063)
004(063)
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции

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

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

   
    Deontic logic and artificial normative systems [Electronic resource] : 8th international workshop on Ddontic Llogic in computer science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / eds.: L. Goble, J. Meyer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4048). - ISBN 978-3-540-35843-5 : Б. ц.

ГРНТИ
27.03.19
50.05.13
УДК
510.6(063)
004(063)
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции

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

Доп.точки доступа:
Goble, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
510.6(063)
F94

   
    Frontiers of combining systems [Electronic resource] : 6th international symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 : proceedings / ed. B. Konev, F. Wolter. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4720). - ISBN 978-3-54074-621-8 : Б. ц.

ГРНТИ
27.03.19
50.05.13
УДК
510.6(063)
004.8(063)
004.42(063)
Рубрики: Математическая логика--Съезды и конференции
   Искусственный интеллект--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции

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

Доп.точки доступа:
Konev, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.
510.6(063)
F94

   
    Frontiers of combining systems [Electronic resource] : 7th International symposium, FroCoS 2009, Trento, Italy, Sept. 16-18, 2009: proceedings / ed.: S. Ghilardi, R. Sebastiani. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5749). - ISBN 978-3-642-04222-5 : Б. ц.

ГРНТИ
27.03.19
50.05.13
УДК
510.6(063)
004.8(063)
004.42(063)

Кл.слова (ненормированные):
математическая логика -- искусственный интеллект -- программирование для эвм -- конференции

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

Доп.точки доступа:
Ghilardi, S. \ed.\; Sebastiani, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.
510.6(063)
L85

   
    Logic for programming, aritficial intelligence, and reasoning [Electronic resource] : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / eds. M. Hermann, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4246). - ISBN 978-3-540-48281-9 : Б. ц.

ГРНТИ
27.03.19
50.05.13
28.23.17
УДК
510.6(063)
004.42(063)
004.8(063)
Рубрики: Математическая логика--Съезды и конференции
   Программирование для ЭВМ--Съезды и конференции
   Искусственный интеллект--Съезды и конференции

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

Доп.точки доступа:
Hermann, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.
510.6(063)
L85

   
    Logic, language, and computation [Electronic resource] : 7th international Tbilisi symposium on logic, Language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / ed. P. Bosch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5422). - ISBN 978-3-642-00665-4 : Б. ц.

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

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

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