Реляционная версия многоагентной логики деревьев вычислений CT LK : доклад, тезисы доклада

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика; Новосибирск; Новосибирск

Год издания: 2024

Ключевые слова: многоагентная логика, реляционная семантика, Деревья вычислений

Ссылки на полный текст

Издание

Журнал: Математика

Номера страниц: 52-53

Место издания: Новосибирск

Персоны

  • Смелых К. А. (Сибирский федеральный университет)

Вхождение в базы данных