Research output: Contribution to journal › Article › peer-review
Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта. / Косовская, Татьяна Матвеевна.
In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН, Vol. 499, 2021, p. 38-52.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта
AU - Косовская, Татьяна Матвеевна
PY - 2021
Y1 - 2021
M3 - статья
VL - 499
SP - 38
EP - 52
JO - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН
JF - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН
SN - 0373-2703
ER -
ID: 84400796