Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

Поисковый запрос: (<.>R=02.21$<.>)

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

16
A53

Analysis and synthesis of logics [Electronic resource] : how to cut and paste reasoning systems / W. Carnielli [et al.]. - Electronic text data. - Dordrecht : Springer, 2008. - (Applied logic series, ISSN 1386-2790 ; 35). - ISBN 978-1-402-06782-2 : Б. ц.

ГРНТИ	02.21	27.03.19
УДК	16	510.6

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

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

Доп.точки доступа:
Carnielli, W.; Coniglio, M.; Gouveia, P.; Sernadas, C.; Gabbay, D.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

510(063)/L85-008655

Logic, rationality, and interaction [Electronic resource] : second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009: proceedings . - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5834). - ISBN 978-3-642-04893-7 : Б. ц.

ГРНТИ	28.23	28.29.05	16.41	02.21.41	02.01.13	29.01.07
УДК	004.8(063)	519.83(063)	801(063)	16(063)	1(063)	165(063)

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

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

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

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

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

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