|
|
Вид документа : Монографическая серия
Шифр издания : 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
Ключевые слова (''Своб.индексиров.''): логика--математическая логика--аксиология--модальная логика--вычислительная техника--искусственный интеллект
См. : Текст издания
Доп.точки доступа:
Carnielli, W.; Coniglio, M.; Gouveia, P.; Sernadas, C.; Gabbay, D.M.; SpringerLink (Online service)
|
|