Полное описание

16/A53-355767
Analysis and synthesis of logics : how to cut and paste reasoning systems / W. Carnielli [et al.]. - Electronic text data. - Dordrecht : Springer, 2008. - (Applied logic series, ISSN 1386-2790 ; 35). - URL: http://dx.doi.org/10.1007/978-1-4020-6782-2. - ISBN 978-1-402-06782-2.

ГРНТИ	УДК
02.21	16
27.03.19	510
03.91

Кл.слова (ненормированные): логика -- математическая логика -- аксиология -- модальная логика -- вычислительная техника -- искусственный интеллект
Доп. точки доступа:
Carnielli, W.
Coniglio, M.
Gouveia, P.
Sernadas, C.
Gabbay, D.M.
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-1-4020-6782-2

Просмотр издания