New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2017

Ключевые слова:

динамический

семантика

логика высшего порядка

представление знаний

легальный

доказательство

нормативная система

модальная логика

система обработки естественного языка

вопрос-ответ

ламбда-исчисление

Стр.:

345 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Artificial Intelligence

Том:

10247

Карточка:

New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016Ed. by Kurahashi S., Ohta Y., Arai S., Bekki D..-Berlin.: Springer, 2017.-Vol. 10247.-345 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке:

MONO12 494