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

Базы данных


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

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

   
    Automated deduction - CADE 21 [Electronic resource] : 21st international conference on automated deduction Bremen, Germany, July 17-20, 2007 : proceedings / ed. F. Pfenning. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4603). - ISBN 978-3-54073-595-3 : Б. ц.

ГРНТИ
28.23.17
УДК
004.832.3(063)
Рубрики: Искусственный интеллект--Съезды и конференции

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

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

   
    Automated deduction - CADE-20 [Electronic resource] : 20th international conference on automated deduction Tallinn, Estonia, July 22-27, 2005 : proceedings / ed. R. Nieuwenhuis. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3632). - ISBN 978-3-540-31864-4 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)
Рубрики: Искусственный интеллект--Съезды и конференции

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

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

   
    Automated deduction - cade-22 [Electronic resource] : 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009 : proceedings / ed. R. Schmidt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5663). - ISBN 978-3-642-02959-2 : Б. ц.

ГРНТИ
28.23.17
УДК
004.832.3(063)

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

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

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

   
    Automated reasoning [Electronic resource] : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010: proceedings / eds. J. Giesl, R. Hahnle. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6173). - ISBN 978-3-642-14203-1 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)

Кл.слова (ненормированные):
искусственный интеллект -- конференции

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

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

   
    Automated reasoning [Electronic resource] : 3rd international joint conference, IJCAR 2006, Seattle, Wa, USA, August 17-20, 2006 : proceedings / ed. U. Furbach, N. Shankar. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4130). - ISBN 978-3-54037-188-5 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)
Рубрики: Искусственный интеллект--Съезды и конференции

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

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

   
    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / ed. M. Giese, A. Waaler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5607). - ISBN 978-3-642-02716-1 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)

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

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

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

   
    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 14th international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005: proceedings / ed. B. Beckert. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3702). - ISBN 978-3-540-31822-4 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)
Рубрики: Искусственный интеллект--Съезды и конференции

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

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

   
    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / ed. N. Olivetti. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4548). - ISBN 978-3-540-73099-6 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)
Рубрики: Искусственный интеллект--Съезды и конференции

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

Доп.точки доступа:
Olivetti, N. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.
()
Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X

Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
10.
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)
Свободных экз. нет
Найти похожие
11.
004.8(063)
L85

   
    Logics in artificial intelligence [Electronic resource] : 11th european conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008: proceedings / ed. S. Holldobler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5293). - ISBN 978-3-540-87803-2 : Б. ц.

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

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

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

   
    Logics in artificial intelligence [Electronic resource] : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4160). - ISBN 978-3-540-39627-7 : Б. ц.

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

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

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

   
    Progress in artificial intelligence [Electronic resource] : 14th Portuguese conference on artificial intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009 : proceedings / ed. L. S. Lopes [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5816). - ISBN 978-3-642-04686-5 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8(063)

Кл.слова (ненормированные):
искусственный интеллект -- конференции

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

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

    Wang, P.
    Rigid flexibility [Electronic resource] : the logic of intelligence / P. Wang. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 1-4020-5045-3 : Б. ц.

ГРНТИ
28.23.17
УДК
004.8
Рубрики: Искусственный интеллект

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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
15.
519.72
W20

    Wallace, C.
    Statistical and inductive inference by minimum message length [Electronic resource] / C. Wallace. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2005. - (Information science and statistics, ISSN 1613-9011). - ISBN 978-0-387-27656-4 : Б. ц.

ГРНТИ
28.21
27.43.17
28.23.17
УДК
519.72
519.2
004.832.3
Рубрики: Теория информации
   Математическая статистика
   Искусственный интеллект

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

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