Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

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)
Свободных экз. нет
Найти похожие

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

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

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