Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

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

Вид документа : Монографическая серия
Шифр издания : 16/A53
Автор(ы) : Carnielli W., Coniglio M., Gouveia P., Sernadas C., Gabbay D.M.
Заглавие : Analysis and synthesis of logics [Electronic resource] : how to cut and paste reasoning systems
Выходные данные : Dordrecht : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 35
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-402-06782-2: Б.ц.
ГРНТИ : 02.21 + 27.03.19
УДК : 16 + 510.6
Ключевые слова (''Своб.индексиров.''): логика--математическая логика--аксиология--модальная логика--вычислительная техника--искусственный интеллект
Найти похожие

Вид документа : Монографическая серия
Шифр издания : 510(063)/L85-008655
Заглавие : Logic, rationality, and interaction [Electronic resource] : second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5834
Вид и объем ресурса: Electronic text data
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)
Ключевые слова (''Своб.индексиров.''): логика--рациональность--взаимодействие--конференции
Найти похожие

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

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

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