Линейная ступенчатая логика знания LTK.sl: семантика, fmp и унификация формул : доклад, тезисы доклада

Описание

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

Конференция: Синтаксис и семантика логических систем; Аршан, Республика Бурятия; Аршан, Республика Бурятия

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

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

Издание

Журнал: Синтаксис и семантика логических систем

Номера страниц: 40-43

Место издания: Иркутск

Персоны

  • Зверева Татьяна Юрьевна (Сибирский федеральный университет)

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