Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=004.42.047(063)<.>)

Общее количество найденных документов : 23
Показаны документы с 1 по 20

1-20 21-23

004.42.047(063)
A67

Approaches and applications of inductive programming [Electronic resource] : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / ed. U. Schmid [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5812). - ISBN 978-3-642-11931-6 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

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

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

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

004.42.046(063)
F97

Functional and constraint logic programming [Electronic resource] : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / ed. S. Escobar. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-11999-6 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.046(063)	004.42.047(063)

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

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

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

004.42.046(063)
F97

Functional and logic programming [Electronic resource] : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / eds. J. Garrigue, M. V. Hermenegildo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4989). - ISBN 978-3-540-78969-7 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.046(063)	004.42.047(063)

Рубрики: Программирование для ЭВМ функциональное--Съезды и конференции
Программирование для ЭВМ логическое--Съезды и конференции

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

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

004.42.046(063)
F97

Functional and logic programming [Electronic resource] : 8th International symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006: proceedings / ed. M. Hagiya. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3945). - ISBN 978-3-540-33439-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.046(063)	004.42.047(063)

Рубрики: Программирование для эвм функциональное--Съезды и конференции
Программирование для эвм логическое--Съезды и конференции

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

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

004.42.046(063)
F97

Functional and logic programming [Electronic resource] : 10th International symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010: proceedings / ed. M. Blume [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6009). - ISBN 978-3-642-12251-4 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.046(063)	004.42.047(063)

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

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

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

004.42.047(063)
H99

Inductive logic programming [Electronic resource] : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / S. Muggleton [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4455). - ISBN 978-3-54073-847-3 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для ЭВМ логическое--Съезды и конференции

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

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

004.42.047(063)
H99

Inductive logic programming [Electronic resource] : 18th International conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008: proceedings / ed. N. LavraДЌ. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5194). - ISBN 978-3-540-85928-4 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

Доп.точки доступа:
LavraДЌ, N. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

004.42.047(063)
H99

Inductive logic programming [Electronic resource] : 17th international conference, ILP 2007, Corvallis, Or, USA, June 19-21, 2007 : revised selected papers / eds. H. Blockeel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4894). - ISBN 978-3-540-78469-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для ЭВМ логическое--Съезды и конференции

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

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

004.42.047(063)
H99

Inductive logic programming [Electronic resource] : 15th international conference, ILP 2005 Bonn, Germany, August 10-13, 2005 : proceedings / ed. S. Kramer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3625). - ISBN 978-3-540-31851-4 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

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

10.

004.42.047(063)
H99

Inductive logic programming [Electronic resource] : 19th International conference, ILP 2009, Leuven, Belgium, July 02-04, 2009: revised papers / ed. L. Raedt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5989). - ISBN 978-3-642-13840-9 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

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

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

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

11.

004.42.047(063)
L85

Logic programming [Electronic resource] : 24th International conference, ICLP 2008 Udine, Italy, December 9-13 2008: proceedings / ed. M. Garcia de la Banda. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5366). - ISBN 978-3-540-89982-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

Доп.точки доступа:
Garcia de la Banda, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

12.

004.42.047(063)
L85

Logic programming [Electronic resource] : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009 : proceedings / ed. P. Hill. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5649). - ISBN 978-3-642-02846-5 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Кл.слова (ненормированные):
логическое программирование для эвм

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

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

13.

004.42.047(063)
L85

Logic programming [Electronic resource] : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings / ed. V. Dahl, I. Niemela. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4670). - ISBN 978-3-54074-610-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для ЭВМ логическое--Съезды и конференции

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

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

14.

004.42.047(063)
L85

Logic programming [Electronic resource] : 22nd international conference, ICLP 2006, Seattle, Wa, USA, August 17-20, 2006 : proceedings / ed. S. Etalle, M. Truszczynski. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4079). - ISBN 978-3-54036-636-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для ЭВМ логическое--Съезды и конференции

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

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

15.

004.42.047(063)
L85

Logic programming [Electronic resource] : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings / ed. M. Gabbrielli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3668). - ISBN 978-3-540-31947-4 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

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

16.

004.42.046(063)/L85-154097

Logic programming and nonmonotonic reasoning [Electronic resource] : 8th international conference, LPNMR 2005 Diamante, Italy, September 5-8, 2005 : proceedings / ed. C. Baral. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3662). - ISBN 978-3-540-31827-9 : Б. ц.

ГРНТИ	50.05.13	28.23.20
УДК	004.42.047(063)	004.83(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции
Искусственный интеллект--Съезды и конференции

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

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

17.

004.42.047(063)
L85

Logic programming and nonmonotonic reasoning [Electronic resource] : 9th International conference, LPNMR 2007, Tempe, Az, USA, May 15-17, 2007: proceedings / ed. C. Baral. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4483). - ISBN 978-3-540-72200-7 : Б. ц.

ГРНТИ	50.05.13	28.23.20
УДК	004.42.047(063)	004.8(063)

18.

004.42.047(063)
L85

Logic programming and nonmonotonic reasoning [Electronic resource] : 10th International conference, LPNMR 2009, Potsdam, Germany, Sept. 14-18, 2009: proceedings / ed. E. Erdem [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5753). - ISBN 978-3-642-04238-6 : Б. ц.

ГРНТИ	50.05.13	28.23.20
УДК	004.42.047(063)	004.8(063)

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

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

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

19.

004.42.047(063)
R31

Recent advances in constraints [Electronic resource] : 12th Annual ERCIM International workshop on constraint solving and constraint logic programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007: revised selected papers / ed. F. Fages. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5129). - ISBN 978-3-540-89812-2 : Б. ц.

ГРНТИ	50.05.13
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

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

20.

004.42.047(063)
R31

Recent advances in constraints [Electronic resource] : joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and ivited ppers / ed. B. Hnich et al. ; ed. B. Hnich. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3978). - ISBN 978-3-540-34216-8 : Б. ц.

ГРНТИ	50.05.03
УДК	004.42.047(063)

Рубрики: Программирование для эвм логическое--Съезды и конференции

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

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

1-20 21-23

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)