Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта

Результат исследований: Научные публикации в периодических изданияхстатьярецензирование

Язык оригиналарусский
Страницы (с-по)38-52
Число страниц15
ЖурналЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН
Том499
СостояниеОпубликовано - 2021

Цитировать